hallo,
eine Menge X ist endlich, wenn diese leer ist, oder ein n€N und eine Bijektive Abbildung f:X->{1,...,n} existiert.
Damit meint man, dass sozusagen die Wertemnege endlich ist oder? Wobei X ist endlich und X ist doch eigentlich der Definitionsvereich? warum ausgerechnet bijektiv ?