Topology: fixed some ambiguous quantifier notation