Champ lexical de théorie des ensembles
Situation relative 10
- application
- complémentaires
- disjoints
- ensemble non-vide
- ensemble ordonné
- ensemble récursif
- équipotence
- fonction
- réunion
- supplémentaires
Opérateurs 27
- addition
- anti-symétrique
- appartenance
- bijection
- associativité
- commutativité
- différence
- distributivité
- division cartésienne
- égalité
- extensionnalité
- élément neutre
- équivalence
- inclusion
- injection
- intersection
- loi de composition interne
- multiplication par un scalaire
- partition
- produit cartésien
- quotient
- réflexivité
- relation d’ordre
- surjection
- symétrie
- transitivité
- union
Constituants 16
Études corollaires 8
- axiome de la compréhension
- axiome de la réunion
- axiome de l’ensemble des parties
- axiome de l’existence
- axiome de l’extentionnalité
- axiome du choix
- calcul matriciel
- théorie des groupes