Абмеркаваньне:Падмноства

Я не владею Белорусским языком, поэтому дополню статью "Падмноства" сведениями на другом языке.

$~d\vdash \quad A\subseteq B\quad \leftrightarrow \quad \forall a\ (a\in A\to a\in B)$

$~d\vdash \quad A\subset B\quad \leftrightarrow \quad \forall a\ (a\in A\to a\in B)\ \land \ \exists b\ (b\in B\ \land \ b\notin A)$

Галактион 13:11, 15 жніўня 2009 (UTC)