Subconjunto de

Depende de si el autor sigue una convención estricta o inclusiva. En la convención estricta, A ⊂ B indica un subconjunto propio: todo elemento de A está en B, pero B contiene al menos un elemento que no está en A. En la inclusiva, ambos pueden ser iguales. Una opción clara para evitar confusiones es usar ⊆ si se admite igualdad y ⊊ si se excluye.

El matemático alemán Ernst Schröder introdujo ⊂ en 1890 para la «subordinación» lógica, con la idea de que un concepto está totalmente contenido en otro. La práctica matemática sigue dividida: algunos textos universitarios usan ⊂ admitiendo la igualdad de modo que A ⊂ A es válido, mientras que otros reservan ⊂ exclusivamente para el subconjunto propio.