Für alle x ist x~x, da x=x
--
Ist x~y so gilt x=y oder xy PZP
Falls x=y ist auch y=x und somit y~x
Falls xy PZP ist auch yx PZP und somit y~x
--
Sei x~y und y~z
Falls x=y, y=z ist x=z also x~z
Falls x=y und yz PZP ist xz=yz PZP somit x~z
Falls xy PZP und y=z ist xz=xy PZP und folglich x~z
Einzig halbwegs interessanter Fall:
Falls xy PZP und yz PZP, dann ist auch xz eine PZP (nachdenken und begründen!)
---
Reflexivität, Symmetrie, Transitivität => Äq.rel.
---
2=2, 2×4=2^3, 2×8=2^4 => Äqklasse {2,4,8}
3=3, 3×9=3^3 => Äqklasse {3,9}
Weitere Relationen gibt es auf {2,...,10} nicht
Also sind die restlichen Äqklassen {5}, {6}, {7}, {10}