noun Mathematics. the property that for natural numbers a and b, either a is less than b, a equals b, or a is greater than b.