for X, Y being set holds (id X) .: Y c= Y