for USS being upper UniformSpaceStr st meet the entourages of USS in the entourages of USS holds
ex R being Relation of the carrier of USS st
( meet the entourages of USS = R & the entourages of USS = rho R )