Komplementpaare

Teilmengen nach Kardinalität klassifizieren oder durch fixpunktfreie Involutionen paaren, um unvermeidliche verwandte Mengen zu finden.