for X being set holds 0 -tuples_on X = {{}}