theorem Th19: :: COMPUT_1:20

for X, Y being set
for f being homogeneous PartFunc of (X *),Y holds dom f c= (arity f) -tuples_on X