for X being set holds id X c= [:X,X:]