Upper bound of a subset of a partially ordered set.

Observe that an upper bound is not necessarily from the subet \(W\subseteq M\), of the partial order.

Useful for abstract vector spaces Banach Hahn.