Template:Topospace property non-implication

This article describes a non-implication of topological space properties, viz the fact that every topological space with the first property need not have the second property