theorem :: AFINSQ_1:43

for D being set holds {} in D ^omega