Definition:Discrete Topology/Finite

Definition
Let $S \ne \O$ be a set.

Let $\tau = \powerset S$ be the power set of $S$.

That is, let $\tau$ be the set of all subsets of $S$:
 * $\tau := \set {H: H \subseteq S}$

Let $S$ be a finite set.

Then $\tau = \powerset S$ is a finite discrete topology, and $\struct {S, \tau} = \struct {S, \powerset S}$ is a finite discrete space.

Also see

 * Definition:Infinite Discrete Topology
 * Definition:Countable Discrete Topology
 * Definition:Uncountable Discrete Topology


 * Properties of Discrete Topology