for R being Relation
for p being RedSequence of R
for i, j being Nat st i in dom p & j in dom p & i <= j holds
R reduces p . i,p . j