for D being non empty set
for pf being FinSequence of D holds Col ((<*pf*> @),1) = pf