Theorem T000396

P-space ∧ Functionally Hausdorff ⇒ Totally separated

See Corollary 5.2 in DOI 10.1016/0016-660x(72)90026-8 (where "totally disconnected" is used with the meaning of Totally separated).

Show markdown

• Converse
• References

The converse ( Totally separated ⇒ P-space ∧ Functionally Hausdorff ) cannot be proven from other theorems or disproven from a counterexample.

You can learn how to contribute a theorem or counterexample here.