En matemáticas, dado cualquier espacio topológico "X", el preorden de especialización se define por