Beschreibung

Nimmt man aus jeder Nebenklasse (Ring) genau ein Element und bildet daraus eine Menge, dann erhält man ein Repräsentantensystem.