for A being set holds {} - A = {} ;