Assertion: ring's ideal | /r/HasProperty | closed points
Facets:
value: precisely
type: MANNER
value: in this topology
type: LOCATION
Source sentences:
text: {Spec} (R)} is a compact space, but almost never Hausdorff: in fact, the maximal ideals in R are precisely the closed points in this topology.