for D being set
for F, G being FinSequence of D * st F c= G holds
FlattenSeq F c= FlattenSeq G