Usando esta propiedad como definición y extendiéndola al producto vacío, el miembro derecho de esta ecuación vale "b" para el conjunto vacío, porque la suma vacía vale 0 por definición, y por tanto el producto vacío debe valer 1.