1. That is, the discrete space X is free on the set X in the category of topological spaces and continuous maps or in the category of uniform spaces and uniformly continuous maps.

Nghĩa là, không gian rời rạc X là tự do trên tập hợp X trong loại của các không gian tô pô và các hàm liên tục hay là trong loại của các không gian thuần nhất và các hàm liên tục đều.