theorem :: UNIFORM3:42

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