theorem Th26: :: GRAPH_2:26

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