for a being FinSequence holds {a} is relation