Equivalence relation/System of representatives/Definition

System of representatives

Let ${}\sim$ be an equivalence relation on a set ${}M$. A subset ${}T\subseteq M$ is called a system of representatives for the equivalence relation, if for every equivalence class there exists exactly one element in ${}T$ of this class.