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