:: deftheorem Def6 defines delta FUNCT_3:def 6 :
for X being set
for b₂ being Function holds
( b₂ = delta X iff ( dom b₂ = X & ( for x being object st x in X holds
b₂ . x = [x,x] ) ) );