Majorer

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

The $$s \in X$$ is the majorer of the set $$A \subset X$$ if $$\forall a \in A: a \leq s$$