Equivalence class representative

ID: equivalence-class-representative

An equivalence class representative is any set element belonging to that equivalence class. In the finite modulo-three example, either , or represents . Changing the equivalence class representative changes its name but preserves the equivalence class itself. Choosing gives one representative of an equivalence class from each class; the quotient set consists of the three whole sets.

New to topics? Read the docs here!