Ця множина містить порожню множину Якщо ця множина містить деякий елемент b, то вона містить і елемент {b} У такий спосіб, така множина має вигляд Аксіома пари — якщо існують дві множини і , то існує множина кожен елемент якої дорівнює або , або ; Аксіома булеана — для будь-якої множини існує множина всіх її підмножин;