for R being Ring
for a being Data-Location of R holds Values a = the carrier of R