Definition:Strictly Finer Topology