- antisymmetric order
- мат. антисимметричный порядок
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Antisymmetric relation — In mathematics, a binary relation R on a set X is antisymmetric if, for all a and b in X , if a is R to b and b is R to a , then a = b .In mathematical notation, this is::forall a, b in X, a R b and b R a ; Rightarrow ; a = bor equally, :forall a … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 … Wikipedia
Glossary of order theory — This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. Note that there is a structured list of order topics available as well. Other helpful resources might be … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Total order — In set theory, a total order, linear order, simple order, or (non strict) ordering is a binary relation (here denoted by infix ≤) on some set X. The relation is transitive, antisymmetric, and total. A set paired with a total order is called a… … Wikipedia
Duality (order theory) — In the mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by Pop or Pd. This dual order Pop is defined to be the set with the inverse order, i.e. x ≤ y… … Wikipedia
total order — noun A relation that is reflexive, antisymmetric, and transitive (i.e., that is a partial order), and having the property that for any two elements of its set, one is related to the other. Syn: total ordering re … Wiktionary
partial order — noun A relation that is reflexive, antisymmetric, and transitive. Syn: partial ordering relation See Also: order, partially ordered set … Wiktionary
Geometric algebra — In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that… … Wikipedia
Conference matrix — In mathematics, a conference matrix (also called a C matrix) is a square matrix C with 0 on the diagonal and +1 and −1 off the diagonal, such that CTC is a multiple of the identity matrix I. Thus, if the matrix has order n, CTC = (n−1)I … Wikipedia