for a being set holds XOR2 (a,a) is empty