Es sei M {\displaystyle {}M} eine Menge und E = E ( M ) {\displaystyle {}E={\mathcal {E}}(M)} die Menge der endlichen Teilmengen von M {\displaystyle {}M} . Dann definiert die Gleichmächtigkeit eine Äquivalenzrelation auf E {\displaystyle {}E} .
