Si Y es un subespacio de X, una división de X es un par de conjuntos disjuntos no vacíos A y B cuya reunión es Y y tales que ninguno de ellos contiene un punto de acumulación del otro.