for D being non empty set
for p being FinSequence of D holds <*p*> is Matrix of 1, len p,D