Definition 1.4.5.  Let S, T be sets, ≺ be a mapping from S to T, s ∈ S. For t ∈ T, we define:
≺(s) = t  :⇔  s ≺ t
Well-definedness.  No proof.
References.