for I being set
for R being asymmetric transitive Relation of I
for r being RedSequence of R holds r is one-to-one