for A being set holds (delta A) ~ = delta A