for A being set holds union (bool A) = A