La última propiedad viene del hecho que el conjunto diferencia puede ser expresado con intersecciones y complementos.