Частково впорядкована множина
З Вікіпедії, безкоштовно encyclopedia
Частково впорядкована множина (poset — англ. partially ordered set) — це множина з заданим частковим порядком (антисиметричним передпорядком), тобто з бінарним відношенням, що є транзитивним, рефлексивним та антисиметричним. Позначається
Скінченні частково впорядковані множини графічно зображаються діаграмами Гассе.