Частично упорядоченное множество: различия между версиями

{{Якорь|Верхнее множество}}Для элемента <math>m</math> частично упорядоченного множества <math>\langle M, \leqslant\rangle</math> '''верхним множеством''' ({{lang-en|upper set, upset}}) называется множество <math>M \uparrow m</math> всех элементов, которым <math>m</math> предшествует (<math>\{ x \in M \mid m \leqslant x\}</math>).

 

 

== Специальные типы частично упорядоченных множеств ==