替代公理1921

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

在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是策梅洛-弗兰克尔集合论（ZFC）的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。