elo-Fraenkel 集合论的公理之一。它声称对于任何集合formula_1有一个集合formula_2，formula_2的元素正是formula_1的元素的元素。
形式陈述.在 Zermelo-Fraenkel 公理的形式语言中，这个公理读做：换句话说：
解释.因此，这个公理实际上说的是，给定集合formula_1，我们可以找到一个集合formula_2，它的成员正是formula_1的成员的成员。通过外延公理可知这个集合formula_2是唯一