Спрямована множина

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Спрямована вниз множина)
Перейти до навігації Перейти до пошуку
Направлена підмножина

Спрямована вверх множина — в теорії порядку, непорожня множина з заданим передпорядком, для довільної пари елементів якої існує верхня межа.

Для спрямованої вниз множини, для довільної пари її елементів існує нижня межа.

Спрямовані множини є узагальненням цілком впорядкованих множин.

Спрямована множина є ширшим поняттям, ніж напівґратка, оскільки з усіх верхніх меж може не існувати найменшої.

Приклади

[ред. | ред. код]

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]