less than or equal to: (partial order): \preceq → - this denotes the partial order relation, meaning "less than or equal to" under a given partial order.
strictly less than: (partial order): \prec → - this denotes strict inequality in a partial order, meaning that one element is strictly less than another.
greater than or equal to: (partial order): \succeq → - this is the reverse of the partial order relation, meaning "greater than or equal to."
strictly greater than: (partial order): \succ → - this denotes strict inequality in reverse, meaning one element is strictly greater than another in the partial order.
minimal element: for a minimal element in a poset, the relation holds for some , but there is no such that .
maximal element: for a maximal element in a poset, the relation holds for some , but there is no such that .
other related symbols in poset theory:
joinleast upper bound: \vee → - this denotes the join operation in a lattice or poset, which is the least upper bound of two elements.
meetgreatest lower bound: \wedge → - this denotes the meet operation in a lattice or poset, which is the greatest lower bound of two elements.
covers: (an element covers another): \lessdot → - this is used to indicate that one element covers another in a hasse diagram, meaning there is no element between them in the poset.
incomparable: \parallel → - this is used to denote that two elements are incomparable in a poset, meaning neither nor holds.
non-comparable relation: \npreceq → - this indicates that the element is not "less than or equal to" in the poset.