[go: up one dir, main page]

Ugrás a tartalomhoz

relation

A Wikiszótárból, a nyitott szótárból

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.