Udowodnić, że zbiór pusty jest podzbiorem każdego zbioru A c X; Zbiór Pusty c A
spin
Zbiór pusty jest podzbiorem każdego zbioru A, gdyż każdy jego element jest elementem zbioru A, jako że zbiór pusty elementów nie ma. Można też do tego podejść inaczej. Gdyby zbiór pusty nie należał do B dla pewnego B, to musiałby istnieć element x nalezący do zbioru pustego taki, że x nie należy do B . Ale to jest niemożliwe.