理模式中使用导出的泛函谓词，则这个公理模式可以写为：对于每个导出的单变量的泛函谓词 "F"；换句话说：通过外延公理可知这个集合 "B" 是唯一的。我们称这个集合 "B" 为 "A" 在 "F" 下的像，并指示它为 "F"("A") 或（使用集合建构式符号形式）{"F"("x"):"x"∈"A"}。有时引用这个公理不带唯一性要求：就是说，谓词 "P" 不被限制为泛函的：要应用它于一个集合 "A"，只需存在至少一个元素 "y" 对应于 "A" 的每个元素 "x" 就可以了；"y" 对每个 "x"