Theorem
| Name: | Comp. Hausdorff implies Hausdorff |
| Hypothesis: | Completely Hausdorff |
| Conclusion: | Hausdorff |
Note: This selection of hypothesis and conclusion is only one way to interpret this theorem. The theorem could be written as many different logically equivalent implications.