Частково впорядкована множина: відмінності між версіями

6. Нехай <math>A</math> — це довільна множина, а <math>\Omega(A)</math> — це множина, елементами якої є всі підмножини <math>B\subseteq A.</math> Визначимо на <math>\Omega(A)</math> частковий порядок за '''вмістком''', тобто <math>B\leq C</math> означає, що <math>B\subseteq C,</math> де <math>B,C\in\Omega(A)</math> — дві підмножини в <math>A.</math> Тоді <math>\Omega(A)</math> перетворюється на частково впорядковану множину з найменьшимнайменшим елементом <math>\empty</math> та найбільшим елементом