The property used in ∀ a,b ∈ R,a = b∧b = c ⇒ a=c

Reflexive

Trichotomy

Transitive

Symmetric