for D being set holds 0 -tuples_on D = {(<*> D)}