for D being non empty set
for pf being FinSequence of D holds width <*pf*> = len pf