theorem Th104: :: FUNCT_1:105

for f being Function
for g being b₁ -compatible Function holds dom g c= dom f