formula_11 的表示，我们需要确定 formula_35 诱导的自然变换何时会是同构。这引导出如下定义：泛元素还可看作从单点集合 formula_46 到函子 formula_11 的泛态射，又或者看作 formula_11 的元素范畴中的始对象。这样，由元素 formula_27 诱导的自然变换是自然同构当且仅当 formula_41 是 formula_11 的泛元素。由此可以得出 formula_11 的表示与 formula_11 的泛元素之间的一一对应。为此，泛元素 formula