Template:Topospace property implication

This article gives the statement and possibly, proof, of an implication relation between two properties of topological spaces. That is, it states that every topological space satisfying the first property must also satisfy the second