Template:Topospace property implication