Définir la notation –
Dans la théorie des ensembles et ses applications à la logique, aux mathématiques et à l'informatique, la notation constructeur d'ensembles est une notation mathématique permettant de décrire un ensemble en énumérant ses éléments ou en énonçant les propriétés que ses membres doivent satisfaire. Par exemple, un ensemble vide est représenté par
. Voyons donc le code latex des Set Notations un par un.
Notation des ensembles et leur code Latex :
TERME | SYMBOLE | Latex |
|---|---|---|
Ensemble vide | ∅ ou {} | emptyset ou {} |
Ensemble universel | DANS | mathbb{U} |
Sous-ensemble | ⊆ ou ⊂ | subseteq ou subset |
Sous-ensemble approprié | ⊂ | sous-ensemble |
Surensemble | ⊇ ou ⊃ | supseteq ou supset |
Surensemble approprié | ⊃ | supset code c abs |
Élément | ∈ | dans |
Pas un élément | ∉ | atation |
syndicat | ∪ | asse |
Intersection | ∩ | casquette |
Complément |
| complément |
Définir la différence |
| setmoins instruction java if else |
Ensemble de puissance | ℘ | wp |
Produit cartésien | × | fois |
Cardinalité | | UN |
Notation du constructeur de jeux | X | X |
Définir le prédicat d'appartenance | P(x) ∈UNE | P(x) dans A |
Définir moins | UN B | UN B |
Définir le prédicat d'inclusion | UNE⊆B | UNE subseteq B |
Définir l'égalité | A = B | A = B |
Ensembles disjoints | UNE ∩ B = ∅ | A cap B = emptyset |
Sous-ensemble différent de | UNE⊊B | UNE subsetneq B |
Surensemble différent de | UNE⊋B | A supsetneq B |
Différence symétrique | ADB | UNE riangleB |
Sous-ensemble de ou égal à | A ⊆ B ou A = B | A subseteq B ext{ ou } A = B |
Sous-ensemble approprié de ou égal à | A ⊆ B mais A ≠ B | A subseteq B ext{ mais } A eq B |
Pouvoir cartésien | Un^n | Un^{n} dépôt maven |
Union d'ensembles | ⋃Un | grosse tasse A |
Intersection d'ensembles | ⋂Un | gros majuscules A |
Produit cartésien des ensembles | ⨉Un | igtimes A |
Ensemble de toutes les fonctions de A à B | B^A | B^{A} |
Ensemble de toutes les relations de A à B | A × B | UNE fois B |