theorem :: UNIFORM3:43

for X being set
for R being Relation of X holds <.{R}.] = rho R