Seien \(K_1,\cdots, K_4\) die vier angegebenen Klassen.
Dann ist \(x\sim y:\iff x,y\in K_i\) für ein \(i\in \{1,2,3,4\}\)
die zugehörige Äquivalenzrelation.
