In any preorder there is a corresponding equivalence relation where two elements x and y are defined as equivalent if x \lesssim y and y \lesssim x.
For sets of sufficiently small cardinality, a third axiomatization is possible, based on real-valued functions.