axiom schema of replacement
(Q1361825)
in set theory, the axiom schema that the image of a set under a definable class function is also a set
in set theory, the axiom schema that the image of a set under a definable class function is also a set
Language:
Current Data About
axiom schema of replacement
| (P31) |
(Q792536)
|
||
| (P61) |
(Q61043)
|
||
| (P279) |
(Q17736)
|
||
| (P361) |
(Q3632199)
|
||
| (P575) |
+1921-00-00T00:00:00Z
|
||
| (P2534) |
\forall w_1,\ldots,w_n \, \forall A \, \exists B \, \forall x \, ( x \in B \Leftrightarrow [ x \in A \and \varphi(x, w_1, \ldots, w_n , A) ] )
|
||
| (P2579) |
(Q191849)
|
||
| (P5555) |
Axiom schema of replacement.svg
|
||
| (P6104) |
(Q8487137)
|
other details
| aliases |
axiom schema of collection |
| description | in set theory, the axiom schema that the image of a set under a definable class function is also a set |
External Links