theorem Th2: :: FUNCT_3:2

for X being set
for f, g being Function st X c= dom (g * f) holds
f .: X c= dom g