Page "Equivalence relation" Paragraph 33

If ~ is an equivalence relation on X, and P ( x ) is a property of elements of X, such that whenever x ~ y, P ( x ) is true if P ( y ) is true, then the property P is said to be well-defined or a class invariant under the relation ~.