Quería saber si alguien de ustedes sabe si hay un término establecido en topología para lo que llamo "topológicamente mayor" (término que me inventé) definido a continuación:
Sea $X$ un espacio topológico y sean $x,y\in X$. Entonces $x$ es topológicamente mayor que $y$ si toda vecindad de $x$ es también una vecindad de $y$.
Gracias