Zupełność posetów W teorii porządków częściowych rozważa się inną definicję zupełności motywowaną zastosowaniami w teoretycznej informatyce. Niech będzie porządkiem częściowym: niepusty podzbiór jest skierowany jeśli każde dwa elementy zbioru mają wspólne ograniczenie górne w tym zbiorze; powiemy, że porządek jest zupełny jeśli ma on element najmniejszy oraz każdy podzbiór skierowany ma kres górny.
Zobacz też aksjomat ciągłości
Przypisy
Bibliografia
Strona 64 w pliku PostScript dostępnym na stronie autora.
Kategoria:Własności porządków
ru:Частично упорядоченное множество#Полное частично упорядоченное множество