for X being set
for x being object st <*x*> is FinSequence of X holds
x in X