Zbiór pusty: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Ściśle biorąc jeden znak jest przekreślonym kółkiem, drugi przekreślonym zerem i są to po prostu różne znaki. Określanie jednego z nich jako wariantu drugiego jest nadinterpretacją |
niezgodność podmiotów, drobne redakcyjne |
||
Linia 1:
{{znak|∅}}
'''Zbiór pusty''' – [[zbiór]] niezawierający żadnych elementów; oznaczany symbolami ∅, <math>\empty</math>, rzadziej {}. Zbiór, który nie jest pusty, tj.
W [[aksjomaty Zermela-Fraenkla|teorii mnogości Zermela-Fraenkla]] istnienie zbioru pustego
== Własności ==
* Zbiór pusty jest [[podzbiór|podzbiorem]] każdego zbioru:
*: <math>\forall A: \varnothing \subseteq A </math>
: Jest to wniosek z reguły mówiącej, że [[ex
:: <math>\forall x: (x \in \varnothing \implies x \in A)</math>
* [[suma zbiorów|Suma]] dowolnego zbioru A i zbioru pustego jest równa zbiorowi A:
| |||