Definition 1.4.7.  Let S be a set, ≺ be a relation on S, T ⊆ S. We define:
≺∣T := ≺∣T×T