#poset definition #reflexive #antisymmetric #transitive #set properties #mathematical logic #order theory