theorem Th1: :: FUNCOP_1:1

for A being set holds delta A = <:(id A),(id A):>