Assertion: scheme | /r/HasProperty | topological space
Facets:
value: formally
type: DEGREE
Source sentences:
text: Formally, a scheme is a topological space together with commutative rings for all of its open sets, which arises from gluing together spectra (spaces of prime ideals) of commutative rings along their open subsets.