What does the trichotomy property for real numbers a and b state?

A At least two of a < b, a = b, a > b hold simultaneously

B Exactly one of a < b, a = b, or a > b holds

C If a ≠ b then necessarily a < b

D Either a ≤ b and a ≥ b always hold

Correct Answer: Option B