Podzbiór: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
→Zapis: - korekta drobnego błędu zmieniającego znaczenie zdania na jego zaprzeczenie. |
→Zawieranie właściwe: korekta zapisu symbolicznego, by zgadzał się z treścią zdania powyżej |
||
Linia 36:
Podobnie rzecz ma się z relacjami <math>\subsetneq</math> oraz <math>\supsetneq</math>, które niekiedy czyta się „zawiera się całkowicie (w całości) w” i „jest zawarty całkowicie w”. Relacje te są również są relacjami częściowego porządku, lecz ostrymi, mają więc nieco inne własności; dla dowolnych zbiorów <math>K, L, M</math>:
* żaden zbiór nie jest swoim ścisłym nadzbiorem ([[relacja zwrotna|przeciwzwrotność]]),
*: <math>\lnot(K \subsetneq K)</math>,
* podzbiór właściwy podzbioru właściwego danego zbioru jest podzbiorem właściwym tego zbioru ([[relacja przechodnia|przechodniość]]),
*: <math>K \subsetneq L \wedge L \subsetneq M \Rightarrow K \subsetneq M</math>.
| |||