====== MINE: Smaller than or Equal to ======

**Definition**: The relation ''MINE'' denoting the relationship "smaller than or equal to" is defined analogously to [[MIN]].