for x being set holds {} . x = {} ;