theorem :: FINSEQ_3:74

for A being set holds {} - A = {} ;