Assertion: ring's ideal | /r/HasProperty | mapped to its preimage
Facets:
value: under f
type: LOCATION
Source sentences:
text: , i.e. any prime ideal of S is mapped to its preimage under f, which is a prime ideal of R.