joukko, joka sisältyy toiseen joukkoon From Wikipedia, the free encyclopedia
Joukko B on joukon A osajoukko, jos jokainen joukon B alkio kuuluu joukkoon A, merkitään . Tällöin sanotaan myös, että B sisältyy joukkoon A. [1] Kaikkien osajoukkojen muodostamaa joukkoa kutsutaan potenssijoukoksi ja merkitään .
Formaalisti määritellään, että
Joukko B on joukon A aito osajoukko, jos se on joukon A osajoukko, mutta B ei ole sama kuin A, B ≠A. Aitoa osajoukkoa merkitään usein , jolloin osajoukkoa merkitään .
Jokainen joukko C on itsensä osajoukko, . Tyhjä joukko ∅ on jokaisen joukon osajoukko ja aito osajoukko jokaiselle joukolle paitsi itselleen.
Kun joukossa on n alkiota, siitä voidaan muodostaa osajoukkoa.[2]
Esimerkkejä:
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.