theorem :: FINSEQ_1:49

for D being set holds {} in D *