于 "F"，构造子集 "A" 在函数 "f" 下的像 "f"("A") 为 formula_5（或表示为 "<nowiki>F</nowiki>"("A")）。但是这里实际上不需要替代公理，因为 "f"("A") 是 "T" 的子集，所以我们可以使用分类公理模式来构造这个像为集合 formula_6。一般的说，当 "F" 在 "A" 的成员上的值都属于某个预先构造的集合 "T" 时，使用分类公理就足够了；只在不能获得这样的 "T" 的时候，才需要替代公理，比如定义在真类的子集上的运算。按某些哲学家的说法