From Wikipedia, the free encyclopedia
U matematici, a posebno u teoriji skupova, skup A je podskup skupa B ako je A sadržan u B. Pritom A može biti jednak B.
Ako su A i B skupovi, i svaki element iz A je također i element iz B, onda:
Ako je A podskup od B, ali A nije jednak B (to jest, postoji barem jedan element u B koji ne postoji u A), onda
Za svaki skup S, relacija inkluzije ⊆ je parcijalni uređaj na skupu 2S svih podskupova od S (partitivni skup od S).
Ponekad se zapisuje A ⊂ B umjesto A ⊆ B da bi označili da je A podskup od B. Slično, ponekad se piše A ⊃ B da bi označili da je A nadskup od B. Po ovoj konvenciji, ako je sve što znamo da je A ⊂ B, još uvijek je moguće da su A i B jednaki skupovi.
Nekad se simboli ⊂ i ⊃ koriste da označe prave podskupove ili nadskupove umjesto i . Ovo korištenje čini simbole ⊆ i ⊂ analogne simbolima ≤ i <. Na primjer, ako x ≤ y onda x može biti jednako y, ali ne mora, ali ako je x < y, onda x sigurno nije jednako y, već je strogo manje od y. Slično, ako se uzme da ⊂ znači pravi podskup, onda ako A ⊆ B, slijedi da A može ali ne mora biti jednako B, ali ako A ⊂ B, onda A sigurno nije jednako B.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.