Podzbiór: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Wycofano ostatnią zmianę treści (wprowadzoną przez MusJabłkowy) i przywrócono wersję 55667701 autorstwa Beno |
→Definicja: Usunięty ewidentnie niepoprawny fragment definicji, w dodatku odwołujący się do Rasiowej, gdzie nic takiego nie ma (bo być nie może). |
||
Linia 5:
Niech <math>A, B</math> będą zbiorami. Jeżeli każdy element <math>x \in A</math> jest jednocześnie elementem <math>B,</math> to zbiór <math>A</math> nazywa się '''podzbiorem''' zbioru <math>B</math>{{odn|Kuratowski|Mostowski|1952|s=8}}{{odn|Rasiowa|1975|s=10}}{{odn|Kuratowski|1980|s=21}}. W zapisie logicznym:
: <math>A \subseteq B \,\iff \forall_{x \in A}\ x \in B,</math>
Jeżeli <math>A</math> jest podzbiorem <math>B,</math> to sam zbiór <math>B</math> nazywa się '''nadzbiorem''' zbioru <math>A</math>{{odn|Rasiowa|1975|s=10}} i oznacza <math>B \supseteq A.</math>
| |||