theorem :: FINSEQ_3:82

for x, y being object
for A being set holds
( <*x,y*> - A = <*x,y*> iff ( not x in A & not y in A ) )