Esto quiere decir que la intersección y la diferencia entre y son una (posible) partición de .