Cantorova funkcija uparivanja je bijektivna funkcija koja prebrojava (enumerira) uređene parove prirodnih brojeva. Označava se s , a definira se na sljedeći način:, gdje su .Cantor Pairing Function Medium. Pristupljeno 2. lipnja 2026. Između ostalog, funkcija dokazuje ekvipotentnost skupova i .
Funkcija je nazvana po velikom njemačkom matematičaru Georgu Cantoru, jednom od osnivača suvremene teorije skupova.
thumb|Ilustracija enumeracije skupa
Izvori
Kategorija:Teorija skupova