Assertion: algebra's set | /r/CapableOf | represent a heyting algebra
Facets:
Source sentences:
text: Moreover the topological field of sets representing a Heyting algebra may be chosen so that the open complexes generate all the complexes as a Boolean algebra.