Osajoukko

Tämä riippuu kirjoittajan noudattamasta merkintätavasta. Tiukassa merkintätavassa A ⊂ B tarkoittaa aitoa osajoukkoa: kaikki A:n alkiot ovat B:ssä, mutta B:ssä on vähintään yksi alkio, joka ei kuulu A:han. Laajassa merkintätavassa A ja B voivat olla samat. Selkeä keino välttää tulkinnanvaraisuutta on käyttää merkkiä ⊆, kun yhtäsuuruus sallitaan, ja ⊊, kun se suljetaan pois.

Matemaatikko Ernst Schröder esitteli merkin ⊂ vuonna 1890 kuvaamaan loogista alisteisuutta—ajatusta siitä, että käsite sisältyy kokonaisuudessaan toiseen. Käytännöt vaihtelevat yhä: osassa kirjallisuutta ⊂ sallii yhtäsuuruuden (jolloin A ⊂ A pätee), kun taas toisissa teoksissa ⊂ varataan pelkästään aidoille osajoukoille.