theorem :: FINSEQ_6:152

for X being set
for fs being FinSequence of X holds fs is Subset of fs