for R being Relation
for a being object holds <*a*> is RedSequence of R