Osajoukkomerkki, jossa on piste

Se ilmaisee sisältymissuhteen, johon liittyy lisätarkennus.

Osajoukko on joukko, jonka jokainen alkio kuuluu myös toiseen joukkoon. Esimerkiksi luvuista 1 ja 2 koostuva joukko on luvuista 1, 2 ja 3 koostuvan joukon osajoukko. Tätä perusajatusta ilmaisee merkin ⪽ kaareva osa; piste erottaa suhteesta erityisen muodon.

Lue merkki osajoukkosuhteeksi, johon liittyy lisäehto, ja tarkista ehto tekstin määritelmästä. Pisteellä ei ole yhtä yleispätevää merkitystä. Säilytä se, kun kirjoitat kaavaa uudelleen: merkin ⪽ korvaaminen tavallisella osajoukkomerkillä voi hävittää kirjoittajan tarkoittaman eron.