Definition: The relation MAJE, expressing the relationship “greater than or equal to” is defined analogously to the relation MAJ.
MAJE