theorem Th94: :: FINSEQ_2:96

for D being non empty set holds 1 -tuples_on D = { <*d*> where d is Element of D : verum }