[Mfi1] Äquivalenzklasse = 0?