für was steht die folgende Definition?X/~:= {[x] | x ∈ X} Florian T. S. :-)
Das ist die Menge der zu einer Äquivalenzrelation gehörigen Äquivalenzklassen.