for S being non empty product-like set holds S = product (product" S)