Es fácil verificar que x ↝ y es una relación de equivalencia cuyas las clases de equivalencia se llaman las componentes conexas por caminos del espacio.