Zbiór pusty: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
lub innymi oznaczeniami, źródła/przypisy wg https://pl.wikipedia.org/w/index.php?title=Wikipedia:Zg%C5%82o%C5%9B_b%C5%82%C4%85d_w_artykule&diff=60717908&oldid=60716521, drobne redakcyjne, drobne techniczne
konkretniej
Linia 1:
{{znak|∅}}
'''Zbiór pusty''' – [[zbiór]] niezawierający żadnych elementów; zazwyczaj oznaczany symbolami ∅, <math>\empty,</math> rzadzieja także {}, (lub innymi oznaczeniami0<ref name="Sikorski">{{Cytuj | autor = [[Roman Sikorski]] | tytuł = Rachunek różniczkowy i całkowy | miejsce = Warszawa | data = 1972 | s = 12 | opis = Biblioteka Matematyczna, tom 28}}</ref> lub Λ<ref name="Grzegorczyk">{{Cytuj | autor = [[Andrzej Grzegorczyk]] | tytuł = Zarys logiki matematycznej|wolumin= 20 | miejsce = Warszawa | data = 1973 | s = 35}}</ref>). Zbiór, który nie jest pusty, tj. zawiera choćby jeden element, nazywany jest ''zbiorem niepustym''.
 
W [[aksjomaty Zermela-Fraenkla|teorii mnogości Zermela-Fraenkla]] istnienie zbioru pustego jest zagwarantowane przez [[aksjomat zbioru pustego]], a jego jedyność wynika z [[aksjomat ekstensjonalności|aksjomatu ekstensjonalności]].