Assertion: algebra's set | /r/HasProperty | open
Facets:
value: in the topology
type: LOCATION
Source sentences:
text: Every Heyting algebra can be represented by a topological field of sets with the underlying lattice of the Heyting algebra corresponding to the lattice of complexes of the topological field of sets that are open in the topology.
text: An important example is the Borel algebra over any topological space: the σ-algebra generated by the open sets (or, equivalently, by the closed sets).