An upper bound of two elements x and y under some relation <= is an element z such that x <= z and y <= z.
("<=" is written in LaTeX as \sqsubseteq).
See also least upper bound.