for X being set holds {X} <> X