DEF-PO. Partial Order.
A partial order on $X$ is a binary relation on $X$ that is reflexive, transitive and antisymmetric (DEF-RP).
(A partial order is namely an antisymmetric preorder.)
A strict partial order on $X$ is a binary relation on $X$ that is irrflexive, transitive and asymmetric.