Zermelo-Fraenkel 公理之一，它断言对于任何集合 
，存在一个集合 
，使得对于 
的任何 
，如果存在满足 
的 
，则这样的 
存在于 
中，
 |
这个公理由 Fraenkel 引入。
替换公理
另请参阅
Zermelo-Fraenkel 公理使用 探索
参考文献
伊藤, K. (编辑). "Zermelo-Fraenkel 集合论." §33B 在 数学百科词典，第二版，第 1 卷。 剑桥, MA: MIT 出版社, pp. 146-148, 1986.在 中被引用
替换公理请引用为
Weisstein, Eric W. "替换公理." 来自 -- Wolfram 网络资源. https://mathworld.net.cn/AxiomofReplacement.html