== Отношения между множествами ==
#*Два множества <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>A</tex> включает <tex>B</tex>, если <tex>B</tex> включено в <tex>A</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 A\subset B\Leftrightarrow (A\subseteq B)\land (A\neq B)}</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>
==Операции==
