Included in the symbol: A is included in B-so is A a subset of B or equal to B? Adding "/"to the bottom horizontal line means it is not included, right? The negation of.
True inclusion symbol: A is really included in B-then A is the proper subset of B. If B = {1, 2}, then A = {1} or {2} or an empty set.
Contained in symbols. The difference is that A is contained in B-then A is a subset of B (less than "equal to B"). ? Adding "/"means it is not included, right? The negation of.
The left and right opening directions of the symbol indicate the relationship between inclusion and inclusion, indicating the same understanding.
For example:? Is the inclusion symbol: a contains B- then b is a subset of a or equal to a.
Mathematical symbol extension:
1, geometric symbol
⊥∥∠⌒⊙≡≌△
2. Algebraic symbols
∝∧∨~∫≠≤≥≈∞∶
3. Operation symbols
Such as plus sign (+), minus sign (-), multiplication sign (× or), division sign (÷ or/), union of two sets (∩), intersection (∩), root sign (√), logarithm (log, lg, ln) and ratio (:).
4. Symbol set
∪∩∈
5. Special symbols
∑π(π)
6. Inference symbols
|a|⊥∽△∠∩∪≠≡≥≤∈ 1
↑→↓↖↗↘↙∥∧∨
&;
①②③④⑤⑥⑦⑧⑨⑩
ΓΔΘΛΞΟΠΣΦΧΨΩ
αβγδεζηθικλμν
ξοπρστυφχψω
ⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩⅪⅫ
ⅰⅱⅲⅳⅴⅵⅶⅷⅸⅹ
∈∏∑∕√∝∞∟∠∣∥∧∨∩∪∫∮
∴∵∶∷∽≈≌≒≠≡≤≥≦≧≮≯⊕⊙⊥
⊿⌒℃
Index 0 123: O 123.
7. Symbol of quantity
Such as: I, 2+I, A, X, natural logarithm base E, pi.
8. Relationship symbols
For example, = is an equal sign, ≈ is an approximate symbol, ≠ is an unequal sign, > is a greater than sign, and b.
Formula A * dual formula.
Wff formula.
If and only if.
The NAND operation of proposition ("NAND gate").
The nor operation of a proposition (nor gate).
□ The modal particle "inevitable".
The modal particle "may".
φ empty set.
∈ belongs to (does not belong to).
Power set of P(A) set a.
The number of points in set a.
R 2 = r ○ r [r n = r (n- 1) ○ r] The "composition" of relation R.
(or the following supplement ≠ really contains.
Union operation of ∪ set.
Intersection operation of sets.
Difference operation of-(~) set.
(12 10) restriction.
The equivalence class of [x] (r in the lower right corner) on the relation r set.
On the quotient set of r on A/R set a.
[a] cyclic group generated by element a
I (I capital) ring, ideal.
Congruence class set of Z/(n) module n
Reflexive closure of relation.
Symmetric closure of s(R) relation.
Deductive theorem of CP proposition (CP rule).
If there is a generalization rule (the introduction rule of existential quantifiers).
ES existential quantifier refers to rules (existential quantifier elimination rules).
UG universal extension rule (universal quantifier introduction rule).
American full name reference rule (full name quantifier elimination rule).
R relation.
R-compatible relation.
R○S relation and its combination.
Domf function's domain (front domain).
Range of ranf function.
F: x → YF is a function from x to y.
The greatest common divisor of GCD(x, y)x, y.
The least common multiple of x and y.
The left (right) coset of aH(Ha)H about a.
Kernel of Ker(f) homomorphism map F (or F homomorphism kernel).
[1, n] 1 integer set to n.
D(u, v) the distance between point u and point v.
The degree of point v at d(v).
G = (v, e) A graph with point set v and edge set e.
The number of connected branches of graph g of W(G).
The vertex connectivity of k(G) graph g.
△(G) Maximum vertex degree of graph g.
The adjacency matrix of graph g.
Reachable matrix of P(G) graph g
Incidence matrix of graph g.
Complex set.
N natural number set (including 0).
N * is natural number set.
P prime set.
Q rational number set.
R real number set.
A set of z integers.
Set the collection category.
Top-level topological space category.
Category of Ab commutative groups.
Group category.
Mon unit semigroup category.
Rings have the category of (associative) rings with identity elements.
Category of Rng rings.
The category of commutative rings.
Left module category of R- module ring r.
Right module category of module r ring r.
Field category.
The category of posets.