MIN: Smaller than

Definition: The statement (q1 MIN q2) expresses that the number or quantity q1 is smaller than the number or quantity q2. See also MINE.