Theorem T000288

$R_0$ ∧ $T_0$ ⇒ $T_1$

Follows directly from the definitions. See Wikipedia T1_space.

Show markdown

• Converse
• References

The converse ( $T_1$ ⇒ $R_0$ ∧ $T_0$ ) follows from these theorems:

Id	If	Then
T119	$T_1$	$T_0$
T287	$T_1$	$R_0$