theorem :: XBOOLE_1:107

for A, B, X being set holds
( X c= A \+\ B iff ( X c= A \/ B & X misses A /\ B ) )