Võrrandi kõigi ratsionaalarvuliste lahendite hulk.

Kõikvõimalike lõpliku pikkusega sõnade hulk, mida saab moodustada tähestikku kasutades.

Loenduva hulga paarikaupa erinevate lõplike hulkade ühend.

Hulk naturaalarvudest, mis on arvu 5 kordsed.

Täisarvude hulk, mis arvuga 3 jagades annavad jäägi 2.

Hulk on loenduvad hulgad.

Kui ja , siis .

Kui ja   on sürjektiivsed, siis .

Kui ja , siis .

Kui vähemalt üks funktsioonidest ja ei ole injektiivne, siis funktsioon võib ikkagi olla pööratav.

Kui , siis on võimalik, et leiduvad hulgad ja nii, et .