さらに言えば、離散空間の間の写像あるいは密着空間の間の写像は必ず連続となるから、両函手ともSetからTopへの充満埋め込み（英語版）を与える。
甚至，因为任何一个在离散或密著空间之间的函数皆为连续的，所有这两个函子都给出了由Set映射至Top的完全内嵌。