"的泛态射。由对偶性质，"F"的上极限为"F"到Δ的泛态射。
用途.使用泛性质定义构造有如下优点：
历史.Pierre Samuel在1948年给出了多种拓扑结构的泛性质。布尔巴基大量使用了其结论。丹尼尔·阚与1958年独立发现了与其密切相关的伴随函子概念。