for A being set holds {} |_2 A = {} ;