:: deftheorem defines cc= ALTCAT_2:def 1 :
for f, g being Function holds
( f cc= g iff ( dom f c= dom g & ( for i being set st i in dom f holds
f . i c= g . i ) ) );