relation
Főnév
relation (tsz. relations)
Basic relations:
- equality:
=
→ - not equal to:
\neq
or\ne
→ ≠ - less than:
[[<]]
→ - greater than:
[[>]]
→ - less than or equal to:
\leq
or\le
→ ≤ - greater than or equal to:
\geq
or\ge
→ ≥ - approximately equal to:
\approx
→ ≈ - proportional to:
\propto
→ ∝ - congruence:
\equiv
→ ≡ - subset of:
\subset
→ ⊂ - subset of or equal to:
\subseteq
→ ⊆ - superset of:
\supset
→ ⊃ - superset of or equal to:
\supseteq
→ ⊇ - set membership:
\in
→ ∈ - not set membership:
\notin
→ ∉
special relations:
- divides:
\mid
→ ∣ - does not divide:
\nmid
→ ∤ - parallel to:
\parallel
→ ∥ - not parallel to:
\nparallel
→ ∦ - perpendicular to:
\perp
→ ⟂ - isomorphic to:
\cong
→ ≅ - equivalent to:
\sim
→ ∼ - not equivalent to:
\nsim
→ ≁ - equivalence relation:
\simeq
→ ≃ - asymptotically equal to:
\asymp
→ ≍
logical relations:
- implies:
\rightarrow
→ → - if and only if:
\leftrightarrow
→ ↔ - logical and:
\land
→ ∧ - logical or:
\lor
→ ∨
set relations:
- element of:
\in
→ - not an element of:
\notin
→ - subset:
\subset
→ - superset:
\supset
→ - subset or equal to:
\subseteq
→ - superset or equal to:
\supseteq
→
miscellaneous relations:
- proportional to:
\propto
→ ∝ - approximately equal:
\approx
→ ≈ - congruent modulo:
\equiv
→ ≡ - union:
\cup
→ ∪ - intersection:
\cap
→ ∩ - symmetric difference:
\triangle
→ △
common poset relations:
- less than or equal to: (partial order):
\preceq
→ - this denotes the partial order relation, meaning "less than or equal to" under a given partial order. - strictly less than: (partial order):
\prec
→ - this denotes strict inequality in a partial order, meaning that one element is strictly less than another. - greater than or equal to: (partial order):
\succeq
→ - this is the reverse of the partial order relation, meaning "greater than or equal to." - strictly greater than: (partial order):
\succ
→ - this denotes strict inequality in reverse, meaning one element is strictly greater than another in the partial order. - minimal element: for a minimal element in a poset, the relation holds for some , but there is no such that .
- maximal element: for a maximal element in a poset, the relation holds for some , but there is no such that .
other related symbols in poset theory:
- join least upper bound:
\vee
→ - this denotes the join operation in a lattice or poset, which is the least upper bound of two elements. - meet greatest lower bound:
\wedge
→ - this denotes the meet operation in a lattice or poset, which is the greatest lower bound of two elements. - covers: (an element covers another):
\lessdot
→ - this is used to indicate that one element covers another in a hasse diagram, meaning there is no element between them in the poset. - incomparable:
\parallel
→ - this is used to denote that two elements are incomparable in a poset, meaning neither nor holds. - non-comparable relation:
\npreceq
→ - this indicates that the element is not "less than or equal to" in the poset.