As an example, we will define the T2 axiom, which is the condition imposed on separated spaces.
作为例子，我们定义 T2 公理，它是施加在分离空间上的条件。