Se dice que un conjunto "S" es relativamente compacto en un espacio topológico "X" si toda sucesión de elementos de "S" tiene una subsucesión que converge en "X".