Abzählbar unendlich/Bijektion zu N/Fakt

Eine Menge ist genau dann abzählbar unendlich, wenn es eine Bijektion zwischen und gibt.