el置于Rel → Sup → Set中。若这样做的话，则Rel的物件（即集合）的「源集合」不会是它本身，而是它的幂集。在此意思之下，关系formula_5的「源函数」即为函数formula_6，其定义为formula_7。4.基于技术上的理由，巴拿赫空间和线性缩约的范畴Ban通常不是带有「明显」的遗忘函子，而是将巴拿赫空间映射至其（封闭）单位球的函子"U" : Ban → Set。5.若"C"为任一小范畴，则存在一忠实函子"P" : Set → Set，将预层"X"映射至乘积formula_8上。