theorem Th50: :: FUNCT_3:50

for X being set
for f, g being Function st dom f = X & dom g = X holds
dom <:f,g:> = X