Delmengde av

Det avhenger av om forfatteren bruker streng eller inkluderende konvensjon. Ved streng konvensjon angir A ⊂ B en ekte delmengde: hvert element i A finnes i B, men B har minst ett element utenfor A. Ved inkluderende konvensjon kan A og B være identiske. Et tydelig valg for å unngå tvil er å bruke ⊆ når likhet tillates, og ⊊ når den utelukkes.

Matematikeren Ernst Schröder innførte ⊂ i 1890 for logisk underordning—tanken om at et begrep er fullt innesluttet i et annet. Konvensjonene varierer fremdeles: enkelte lærebøker bruker ⊂ inkluderende slik at A ⊂ A er gyldig, mens andre reserverer ⊂ utelukkende for ekte delmengder.