theorem Th128: :: FUNCT_4:128

for a, b, c, x, y, z being object holds dom ((a,b,c) --> (x,y,z)) = {a,b,c}