MINE: Smaller than or Equal to

Definition: The relation MINE denoting the relationship “smaller than or equal to” is defined analogously to MIN.