:: deftheorem Def14 defines -compatible FUNCT_1:def 14 :
for g, f being Function holds
( f is g -compatible iff for x being object st x in dom f holds
f . x in g . x );