⁴ Which we do more often than you might realize. The ≥in 4 ≥ 2 indicates a relation on a set of numbers.