In de wiskunde is een bovengrens of majorant van een deelverzameling S {\displaystyle S} van een partieel geordende verzameling V {\displaystyle V} een element g ∈ V {\displaystyle g\in V} waarvoor geldt dat x ≤ g {\displaystyle x\leq g} voor alle x ∈ S {\displaystyle x\in S}. Wikipedia