Page "Category of topological spaces" Paragraph 9

which equips a given set with the indiscrete topology.

Both of these functors are, in fact, right inverses to U ( meaning that UD and UI are equal to the identity functor on Set ).

Moreover, since any function between discrete or indiscrete spaces is continuous, both of these functors give full embeddings of Set into Top.