替換公理

Zermelo-Fraenkel 公理之一，它斷言對於任何集合 ，存在一個集合 ，使得對於 的任何 ，如果存在滿足 的 ，則這樣的 存在於 中，

這個公理由 Fraenkel 引入。