Para cualquier sistema de ݊n conjuntos se cumple :