Падмноства: Розніца паміж версіямі
| [дагледжаная версія] | [дагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др r2.7.1) (робат змяніў: ro:Mulțime#Submulțimi |
др clean up, replaced: {{*|о}} → о{{subst:націск}} using AWB (7893) |
||
Радок 1:
{{вызнч|1=
<math>~ B \subseteq A \quad \Leftrightarrow \quad \forall b \ (b \in B \to b \in A)</math>
Радок 23:
<math>~ B \subset A \quad \Leftrightarrow \quad \forall b \ (b \in B \to b \in A) \ \land \ \exists a \ (a \in A \ \land \ a \notin B)</math>
Відавочна, што
| |||