A Problem of Set-Theoretic Topology - Ontify