Főnév

relation (tsz. relations)

  1. viszony
  2. (matematika) reláció

Basic relations:

  1. equality: = 
  2. not equal to: \neq or \ne 
  3. less than: [[<]] 
  4. greater than: [[>]] 
  5. less than or equal to: \leq or \le 
  6. greater than or equal to: \geq or \ge 
  7. approximately equal to: \approx 
  8. proportional to: \propto 
  9. congruence: \equiv 
  10. subset of: \subset 
  11. subset of or equal to: \subseteq 
  12. superset of: \supset 
  13. superset of or equal to: \supseteq 
  14. set membership: \in 
  15. not set membership: \notin 

special relations:

  1. divides: \mid 
  2. does not divide: \nmid 
  3. parallel to: \parallel 
  4. not parallel to: \nparallel 
  5. perpendicular to: \perp 
  6. isomorphic to: \cong 
  7. equivalent to: \sim 
  8. not equivalent to: \nsim 
  9. equivalence relation: \simeq 
  10. asymptotically equal to: \asymp 

logical relations:

  1. implies: \rightarrow 
  2. if and only if: \leftrightarrow 
  3. logical and: \land 
  4. logical or: \lor 

set relations:

  1. element of: \in 
  2. not an element of: \notin 
  3. subset: \subset 
  4. superset: \supset 
  5. subset or equal to: \subseteq 
  6. superset or equal to: \supseteq 

miscellaneous relations:

  1. proportional to: \propto 
  2. approximately equal: \approx 
  3. congruent modulo: \equiv 
  4. union: \cup 
  5. intersection: \cap 
  6. symmetric difference: \triangle 

common poset relations:

  1. 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.
  2. strictly less than: (partial order): \prec  - this denotes strict inequality in a partial order, meaning that one element is strictly less than another.
  3. greater than or equal to: (partial order): \succeq  - this is the reverse of the partial order relation, meaning "greater than or equal to."
  4. strictly greater than: (partial order): \succ  - this denotes strict inequality in reverse, meaning one element is strictly greater than another in the partial order.
  5. minimal element: for a minimal element in a poset, the relation   holds for some  , but there is no   such that  .
  6. maximal element: for a maximal element in a poset, the relation   holds for some  , but there is no   such that  .
  1. join least upper bound: \vee  - this denotes the join operation in a lattice or poset, which is the least upper bound of two elements.
  2. meet greatest lower bound: \wedge  - this denotes the meet operation in a lattice or poset, which is the greatest lower bound of two elements.
  3. 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.
  4. incomparable: \parallel  - this is used to denote that two elements are incomparable in a poset, meaning neither   nor   holds.
  5. non-comparable relation: \npreceq  - this indicates that the element is not "less than or equal to" in the poset.