上，从拓扑空间"Y"到离散空间"X"的函数"f"是连续的，当且仅当它是局部常数函数，在所有"Y"的点都有"f"在其上的邻域是常数的意义上。
用途.离散结构通常用做不承载任何其他自然拓扑、一致或度量的集合上“缺省结构”。例如，任何群都可以通过给予它离散拓扑被认为是拓扑群，蕴涵了关于拓扑群适用于所有群的定理。实际上，分析学家更偏好被代数学家作为离散群来研究的平常的非拓扑群。在某些情况下，这可有用的应用，例如组合上Pontryagin对偶性。0维流形（或微分流形或解析流形）就只是离散