„Üres halmaz” változatai közötti eltérés

 

A [[halmaz#Halmazok számossága|halmazok számosságának]] a definíciója értelmében a üres halmaz véges halmaz és a számossága <math>0</math>. Ugyanis tetszőleges véges ''H'' halmaz számossága az ''n'' &isin; '''N''' természetes szám, ha létezik [[bijekció]] ''H''-ból ''n''-be (ahol ''n'' a sztenderd halmazelméleti definíció természtes szám objektuma, melyre teljesül az ''n'' = {0,1,...,n-1} patologikus tulajdonság). Persze, n = 0 esetén az előbbi halmaz üres, így létezik <math>\emptyset</math> <math>\rightarrow</math> <math>0\,</math>=<math>\emptyset</math> bijekció, hisz az üres függvény ilyen.

 

== Hivatkozások ==