Dobro, stiže lekcija iz matematičkog formalizma i cjepidlačenja
Simbol ∅ je uvela Bourbaki grupa kao znak za prazan skup. Uz ovu oznaku se koristi i oznaka { }.
Tako se u osnovnoj školi nauči da je ∅ ili { } oznaka za ptazan skup - ali da {∅} nije prazan skup! Naime, {∅}, kao što to threshold dobro primjeti, predstavlja skup (kolekciju) čiji je jedini element prazan skup. Odakle skup čiji je element prazan skup? Pa eto, dopustimo li da postoje skupovi (kolekcije) čiji su elementi skupovi, tada možemo definirati partitivni skup kao skup svih podskupova nekog skupa. Tada partitivni skup ima 2^n elemenata gdje je n broj elemenata (kardinalni broj) originalnog skupa (ukoliko je isti konačan - ukoliko nije, može se izvesti analogija sa ordinalnim brojevima).
Partitivni skup skupa A={a,b,c} je P(A)={∅,{a},{b},{c},{a,b},{b,c},{a,c},{a,b,c}} (primjetimo da je prazan skup podskup svakog skupa!)
Partitivni skup skupa ∅ je onda P(∅)={∅}. Eto nama našeg skupa čiji je (jedini) element prazan skup.
@modesti: u tehnici, poprečni presjek se označava sa ∅ i naziva "fi", iako simbol ∅ nije veliko grčko slovo fi, jer je kod slova fi ova 'ćiza' uspravna.