在一個更大的拓撲空間 中,集合
是離散的,如果每個點
都有一個鄰域
使得
。 集合
的點則被稱為是孤立的 (Krantz 1999, p. 63)。 通常,一個離散集是有限的或可數無限的。 例如,整數集在實數線上是離散的。 另一個無限離散集的例子是集合
。 在任何合理的空間中,有限集都是離散的。 一個集合是離散的,當且僅當它具有離散拓撲,也就是說,如果每個子集都是開集。
在子集 的情況下,如上面的例子所示,人們使用
上的相對拓撲。 有時,離散集也是閉集。 那麼,離散集就不可能有任何聚點。 在諸如球面之類的緊集上,閉離散集因此必定是有限的。