theorem Th34: :: PARTFUN1:34

for X, Y being set holds <:{},X,Y:> = {}