Assertion: heyting algebra | /r/HasProperty | represented by topological field of sets
Facets:
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.