Верхня множина (замкнена вверх множина) — підмножина частково впорядкованої множини , яка задовольняє умову:
![image](https://www.wikidata.uk-ua.nina.az/image/aHR0cHM6Ly93d3cud2lraWRhdGEudWstdWEubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpOHpMek16THpoNE4zQnZjMlYwWDNWd2NHVnljMlYwTG5OMlp5OHpNREJ3ZUMwNGVEZHdiM05sZEY5MWNIQmxjbk5sZEM1emRtY3VjRzVuLnBuZw==.png)
Двоїстим поняттям є — нижня множина.
Властивості
![image](https://www.wikidata.uk-ua.nina.az/image/aHR0cHM6Ly93d3cud2lraWRhdGEudWstdWEubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpOW1MMlkxTDFWd2MyVjBMbk4yWnk4ek1qQndlQzFWY0hObGRDNXpkbWN1Y0c1bi5wbmc=.png)
- Перетин верхніх множин є верхньою множиною.
- Доповнення верхньої множини є нижньою множиною і навпаки.
- Сімейство всіх нижніх множин (верхніх множин) впорядкованих за утворює (повну ґратку).
- Найменша верхня множина підмножини Y позначається ↑Y.
Див. також
- (Спрямована множина)
- Антиланцюг
- Ідеал (порядок)
- Фільтр (порядок)
Джерела
- Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е изд. — Москва : Наука, 1984. — 568 с.(рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет