Beta Phase:
Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45
English
Français
العربية
Deutsch
🏠
/
Mathematics
/
Set Theory
/
Axiom schema of replacement
Axiom schema of replacement
The image of a set under a definable function is also a set.
📜
The statement of the theorem
If a formula
ϕ
(
x
,
y
)
\phi(x,y)
ϕ
(
x
,
y
)
defines a function on a set
A
A
A
, then the image of
A
A
A
is a set.