Urbildanzahl/Produktmenge/Projektion/Aufgabe

Interpretiere Fakt für den Fall, wo und endliche Mengen sind, ihre Produktmenge ist und

die Projektion auf die zweite Komponente ist.