for S being functional with_common_domain set holds S c= product (product" S)