dom <:F:> c= (arity F) -tuples_on X by Th45;
hence dom <:F:> is with_common_domain ; :: according to MARGREL1:def 21 :: thesis: verum