位相空間の部分集合に対し、の「内部」、「外部」、「境界」の概念を定義できる: