Well-Defined Relation/Examples