theorem Th75: :: FINSEQ_3:77

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