Generally the notion of maximal and minimal element is defined in a partially ordered set (binary relation is reflexive, antisymmetric and transitive).
A preorder is a binary relation that is reflexive and transitive.
Can we define the notion of maximal and minimal element in a preordered set?
a is a minimal element when for all x <= a, a <= x.
The minimal elements of the preorder
x < y, y < x, x < a, y < a are x and y.