Maximal element

Let $(X, \leq)$ - partially-ordered-set

The $s \in X$ is the maximal if $\forall {x, s} \in \leq: x \leq s$

${x, s}$ is an unordered pair, connected with a partial-order