"X" es un "espacio T", o un "espacio completamente T", si es completamente normal y Hausdorff, o, equivalentemente, si cada subespacio de "X" es T.