Definition: A separation of a Topological space $X$ is a pair $U,V$ of subsets of $X$ such that:

• $U,V$ are open
• $X = U \cup V$
• $U \cap V = \emptyset$
• $U,V \neq \emptyset, X$

Because these sets are complements of open sets, they are also closed, so they are clopen