Delmængde af

Det afhænger af forfatterens valg mellem streng og inklusiv konvention. Under den strenge konvention betyder A ⊂ B en ægte delmængde: hvert element i A er i B, men B indeholder mindst ét element uden for A. Under den inklusive konvention må A og B være ens. Et klart valg for at undgå forveksling er at bruge ⊆, hvis lighed tillades, og ⊊, når lighed udelukkes.

Matematikeren Ernst Schröder introducerede ⊂ i 1890 for logisk underordning—ideen om, at et begreb er fuldstændigt indeholdt i et andet. Siden har praksis delt sig: visse lærebøger anvender ⊂ inklusivt således at A ⊂ A gælder, mens andre forbeholder ⊂ strengt til ægte delmængder.