Que signifie ⊂
Tout dépend de la convention adoptée par l’auteur. Selon la convention stricte, A ⊂ B désigne un sous-ensemble propre : tout élément de A est dans B, mais B possède au moins un élément extérieur à A. Selon la convention large, A et B peuvent être identiques. Un choix limpide consiste à employer si l'égalité est permise et si elle est exclue.
Le mathématicien allemand Ernst Schröder a introduit ⊂ en 1890 pour désigner la « subordination » logique, c'est-à-dire l'inclusion totale d'un concept dans un autre. Les usages contemporains restent partagés : sous l'influence de Bourbaki, de nombreux cours francophones utilisent ⊂ au sens large autorisant l'égalité, tandis que d'autres manuels réservent ⊂ à l'inclusion stricte.
Notation mathématique et logique formelle.
Vérifiez la convention de l'auteur : ⊂ peut autoriser ou interdire l'égalité.
Fait partie de la collection
Ne pas le confondre avec
3Collections avec ⊂
2Taper ou trouver ⊂
- Recherchez-le comme
- symbole sous-ensemble · signe sous-ensemble · sous-ensemble propre · inclusion stricte · inclusion d’ensembles · sous-ensemble LaTeX
- Apparaît dans
- Tout champ acceptant du texte · sa forme dépend de la police
⊂\2282\subset pour afficher ⊂.Codes et encodagePoints de code : 1
Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.






