for X being set holds {} | X = {} ;