- transitivity lemma
- мат. лемма о транзитивности
Большой англо-русский и русско-английский словарь. 2001.
transitivity lemma
Смотреть что такое "transitivity lemma" в других словарях:
Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… … Wikipedia
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
Connected space/Proofs — Every path connected space is connectedLet S be path connected and suppose, for contradiction, that S is not connected. Then S = A cup B for nonempty disjoint open sets A and B . Let x in A, y in B. Since S is path connected, there exists a… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Integrality — In commutative algebra, the notions of an element integral over a ring (also called an algebraic integer over the ring), and of an integral extension of rings, are a generalization of the notions in field theory of an element being algebraic over … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Grammatical case — Grammatical categories Animacy Aspect Case Clusivity Definiteness Degree of comparison Evidentiality … Wikipedia
Grammatical conjugation — Part of the conjugation of the Spanish verb correr, to run , the lexeme is corr . Red represents the speaker, purple the addressee and teal a third person. One person represents the singular number and two, the plural number. Dawn represents the… … 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
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
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
