Aseta merkintätapa -
Joukkoteoriassa ja sen sovelluksissa logiikkaan, matematiikkaan ja tietojenkäsittelytieteeseen joukonmuodostajan merkintätapa on matemaattinen merkintä, jolla kuvataan joukkoa luettelemalla sen elementit tai ilmoittamalla ominaisuudet, jotka sen jäsenten on täytettävä. Esimerkiksi tyhjä joukko esitetään muodossa
. Joten katsotaan Set Notationsin lateksikoodi yksitellen.
Aseta merkintä ja niiden lateksikoodi:
TERMI | SYMBOLI | LaTeX |
|---|---|---|
Tyhjä sarja | ∅ tai {} | emptyset tai {} |
Universaali setti | SISÄÄN | mathbb{U} |
Osajoukko | ⊆ tai ⊂ | subseteq tai subset |
Oikea osajoukko | ⊂ | osajoukko |
Superset | ⊇ tai ⊃ | supseteq tai supset |
Oikea Superset | ⊃ | supset |
Elementti | ∈ aakkoset numeroiden mukaan | sisään |
Ei elementti | ∉ | uima |
liitto | ∪ | kuppi |
Risteys | ∩ | korkki |
Täydentää |
| äydentää |
Aseta ero |
| setminus |
Tehosarja | ℘ | wp |
Karteesinen tuote | × | ajat |
Kardinaalisuus | | A |
Aseta Builder Notation | x | x |
Aseta jäsenyyspredikaatti | P(x) ∈ A | P(x) in A |
Aseta miinus | A-B | A-B |
Aseta inkluusiopredikaatti | A ⊆ B | A subseteq B |
Aseta tasa-arvo | A = B | A = B |
Erilliset sarjat | A ∩ B = ∅ | A cap B = yhjäjoukko |
Osajoukko ei ole yhtä suuri kuin | A ⊊ B | A alajoukko B |
Superset ei ole yhtä suuri kuin | A ⊋ B | A supsetneq B |
Symmetrinen ero | A D B | A kolmio B |
Osajoukko tai yhtä suuri kuin | A ⊆ B tai A = B dhanashree verma | A subseteq B ext{ tai } A = B |
Oikea osajoukko tai yhtä suuri kuin | A ⊆ B mutta A ≠ B | A subseteq B ext{ mutta } A eq B |
Karteesinen voima | A^n | A^{n} |
Sarjojen liitto | ⋃ A | igcup A |
Joukkojen risteys | ⋂ A | isopää A |
Karteesinen sarjojen tuote | ⨉ A | igtimes A |
Joukko kaikkia toimintoja A:sta B:hen | B^A | B^{A} |
Joukko kaikkia suhteita A:sta B:hen | A×B | A kertaa B |