Displaying similar documents to “Partial discretization of topologies”