Изменения

Два множества <tex>A</tex> и <tex>B</tex> могут вступать друг с другом в различные отношения.

* <tex>A</tex> включено в <tex>B</tex>, если каждый элемент множества <tex>A</tex> принадлежит также и множеству <tex>B</tex> :

*: <tex>\displaystyle A\subseteq B\Leftrightarrow \forall a\in A \ \colon \ a\in B</tex>

*: <tex>{\displaystyle A\supseteq B\Leftrightarrow B\subseteq A}</tex>

* <tex>A</tex> равно <tex>B</tex>, если <tex>A</tex> и <tex>B</tex> включены друг в друга:

*: <tex>{\displaystyle A=B\Leftrightarrow (A\subseteq B)\land (B\subseteq A)}</tex>

* <tex>A</tex> и <tex>B</tex> не пересекаются, если у них нет общих элементов:

*: <tex>A</tex> и <tex>B</tex> не пересекаются <tex>{\displaystyle \Leftrightarrow \forall a\in A \ \colon a\notin B}</tex>