axiom schema of replacement الإنجليزية (Q241590)
in set theory, the axiom schema that the image of a set under a definable class function is also a set الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | axiom schema of replacement |
in set theory, the axiom schema that the image of a set under a definable class function is also a set |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
defining formula الإنجليزية
![{\displaystyle \forall w_{1},\ldots ,w_{n}\,\forall A\,\exists B\,\forall x\,(x\in B\Leftrightarrow [x\in A\land \varphi (x,w_{1},\ldots ,w_{n},A)])}](https://www.marefa.org/api/rest_v1/media/math/render/svg/a2a03009c1d01901913412ed838a2bdc5c48bbac)
part of الإنجليزية
subclass of الإنجليزية
instance of الإنجليزية
Encyclopædia Britannica Online ID الإنجليزية
Microsoft Academic ID الإنجليزية
discoverer or inventor الإنجليزية
time of discovery or invention الإنجليزية