Relació d’ordre parcial entre conjunts, notada mitjançant el símbol ⊂(o, a vegades, ⊆), definida per la condició A⊂B (o A⊆B) si i només si tots els elements de A pertanyen a B
.
En aquest cas, hom diu que el conjunt A és inclòs en el conjunt B o que A és un subconjunt de B. Si A no és inclòs en B, hom ho denota per A ⊄B.