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

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
szablon
przywrócenie poprzedniej wersji ?
Znacznik: Anulowanie edycji
Linia 1:
{{znak|∅}}
'''Zbiór pusty''' – [[zbiór]] niezawierający żadnych elementów; zazwyczaj oznaczany symbolami ∅, <math>\empty,</math> rzadziej {} lub innymi oznaczeniami{{Doprecyzuj|jakimi?|data=2020-08}}. 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]].