Частково упорядкована множина

множина із заданим на ній рефлективним, антисиметричним та транзитивним бінарним відношенням