theorem Th28: :: UNIFORM3:54

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