for X being functional with_common_domain set st X = {{}} holds
DOM X = {}