theorem :: XBOOLE_0:1

for X, Y being set
for x being object holds
( x in X \+\ Y iff ( ( x in X & not x in Y ) or ( x in Y & not x in X ) ) )