Zbiór pusty
Z Wikipedii
Zbiór pusty to zbiór, który nie zawiera żadnych elementów. Oznaczany symbolem
(lub
albo Ø). Zbiór pusty jest podzbiorem każdego zbioru.
Zbiór, który nie jest pusty (należy do niego choćby jeden element) nazywamy niepustym.
[edytuj] Własności
- Zbiór pusty jest podzbiorem każdego zbioru:
- Suma dowolnego zbioru A i zbioru pustego jest równa zbiorowi A:
- Iloczyn dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:
- Iloczyn kartezjański dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:
- Jedynym podzbiorem zbioru pustego jest zbiór pusty:
- Moc zbioru pustego wynosi 0:
- Dla dowolnego zbioru A, zbiór pusty jest relacją w A, zwaną relacją pustą.
- Dla dowolnego zbioru A można określić funkcję
, zwaną funkcją pustą. - Jeżeli F(x) jest dowolną funkcją zdaniową, to prawdą jest, że:
- Ponadto, dla dowolnej funkcji zdaniowej F(x) i zbioru A, na którym jest ona określona, zachodzi warunek:
etc.
[edytuj] Zobacz też
| Hiszpania: pięć bramek "Barcy", hat-trick 19-latka |
|
W spotkaniu 38. kolejki hiszpańskiej Primera Divosion Real Murcia przegrał przed własną publicznością z FC Barceloną 3:5 (1:3).
|
| MÅš: brÄ…zowy medal dla Finlandii |
|
W spotkaniu o trzecie miejsce rozgrywanych w Kanadzie mistrzostw świata w hokeju na lodzie Finlandia pokonała Szwecję 4:0 (2:0, 0:0, 2:0).
|
| Mityng Grand Prix IAAF w Dakarze |
|
Najlepsze wyniki mityngu Grand Prix IAAF w Dakarze uzyskali w pchnięciu kulą Jamajczyk Dorian Scott - 20,52 i Niemka Nadine Kleinert - 19,51.
|
| Olympique Lyon mistrzem Francji! |
|
W spotkaniu 38. kolejki francuskiej Ligue 1 AJ Auxerre przegrało przed własną publicznością z Olympique Lyon 1:3 (0:2). Dzięki temu zwycięstwu podopieczni Alaina Perrina po raz siódmy z rzędu zdobyli tytuł mistrza Francji.
|
| Liga hokeja na trawie: niespodziewana porażka Pocztowca |
|
Hokeiści na trawie Grunwaldu Poznań awansowali do finału mistrzostw Polski. W drugim półfinale pomiędzy Pocztowcem Poznań a AZS AWF Poznań po dwóch spotkaniach jest remis 1-1.
|







![[\forall x \in A: ( F(x) \and \lnot F(x) )] \implies A = \varnothing](http://upload.wikimedia.org/math/a/a/e/aaee689144acc19754f926f895922e2f.png)