for X being set
for R being Relation of X holds <.(rho R).] = rho R