つまり、離散空間Xは位相空間と連続写像の圏および一様空間と一様連続写像の圏におけるX上の自由対象である。
就是说，在拓扑空间和连续映射范畴中，或在一致空间和一致连续映射范畴内，离散空间X是集合X上的自由对象。