Greatest element

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

The $$s \in X$$ is the greatest if $$\forall x \in X: x \leq s$$

Note: do not mix with maximal-element