for X being set holds {} c= X ;