for D being non empty finite set
for a being terms've_same_card_as_number length_equal_card_of_set FinSequence of bool D holds a . (len a) = D