theorem Th38: :: FUNCT_7:39

for X being set holds compose ({},X) = id X