For en mengde , der er et positivt heltall, så er mengden endelig, hvis er en bijeksjon.