Þegar þetta á við um tvö mengi , eins og mengi jákvæðra og neikvæðra talna , er sagt að hægt sé að finna gagntæka vörpun milli þeirra og er þetta skilgreining þess að þau séu jafnstór . Þetta sést af því að fyrir sér hverja heila tölu $ n $ má finna slétta tölu $2 \ cdot n $ og fyrir sérhverja slétta tölu $ m $ má finna heila tölu $ \ frac { m } { 2 } $ . Nú kann að koma á óvart að til eru óendanleg mengi sem innihalda fleiri stök en heilu tölurnar , til dæmis er mengi rauntalna óendanlegt og óteljanlegt og því stærra en mengi heilla talna . Sigurjón Baldur Hafsteinsson er prófessor í safnafræði við Félags - og mannvísindadeild Háskóla Íslands . Rannsóknir Sigurjóns Baldurs hafa meðal annars snúið að viðhorfi Íslendinga til dauða og sorgar , en þau viðhorf eru tengd félagspólitískum breytingum sem orðið hafa á Íslandi á undanförnum þrjátíu árum .