Cumpliéndose que estos tres conjuntos forman una partición del espacio, de modo que son disjuntos dos a dos y la unión de los tres es el mismo espacio.