If we take empty cepts into account, the product for {(1, 2)} can be rewritten as Similarly, the product for {(1, 2), (2, 2)} now becomes Note that after adding the link (2, 2), the new product still has more factors than the old product.
the new product is not necessarily always smaller than the old one.