let D be set ; :: thesis: 0 -tuples_on D = {{}}
thus 0 -tuples_on D = {(<*> D)} by FINSEQ_2:94
.= {{}} ; :: thesis: verum