is the relation holding, and only holding, between

and any

-volume congruent to a member of the set of

-volumes of

.