- axiom of restriction
- мат. аксиома ограничения
Большой англо-русский и русско-английский словарь. 2001.
axiom of restriction
Смотреть что такое "axiom of restriction" в других словарях:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom A — In mathematics, Smale s axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term axiom A originates with Stephen… … Wikipedia
Axiom schema of predicative separation — In axiomatic set theory, the axiom schema of predicative separation, or of restricted, or Delta;0 separation, is a schema of axioms which is a restriction of the usual axiom schema of separation in Zermelo Fraenkel set theory. It only asserts the … Wikipedia
comprehension, axiom of — The unrestricted axiom of comprehension in set theory states that to every condition there corresponds a set of things meeting the condition: ( ∃y ) (y = x : F x ). The axiom needs restriction, since Russell s paradox shows that in this form it… … Philosophy dictionary
Gluing axiom — In mathematics, the gluing axiom is introduced to define what a sheaf F on a topological space X must satisfy, given that it is a presheaf, which is by definition a contravariant functor : F : O ( X ) rarr; C to a category C which initially one… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Constant sheaf — In mathematics, the constant sheaf on a topological space X associated to a set A is a sheaf of sets on X whose stalks are all equal to A. It is denoted by A or AX. The constant presheaf with value A is the presheaf that assigns to each open… … Wikipedia
