for S being functional with_common_domain set
for f being Function st f in S holds
dom f = dom (product" S)