for X being set holds (id X) " = id X