Inklusion–Exklusion und Fixpunkte

Überlappende Eigenschaften, verbotene Fixpunkte und fehlende Zielklassen mit systematischen Korrekturtermen zählen.