An instance for testing whether a = b.
An instance for testing whether a b.
An instance for testing whether a ≥ b.
An instance for testing whether a < b.
An instance for testing whether a ≤ b.
An instance for testing whether a ≠ b.