Se escribe entonces "a" ≤ "b" si y solo si "a" = "a" ∧ "b".