for X being set holds compose ({},X) = id X