for D being non empty set
for p being FinSequence of FinTrees D holds p is FinSequence of Trees D