theorem :: MARGREL1:2

for a being FinSequence holds {a} is relation