for X being set
for R being Relation of X holds meet (rho R) = R