Assertion: interior algebra | /r/CapableOf | form base
Facets:
value: for a topology
type: PURPOSE
Source sentences:
text: Given an interior algebra we can form the Stone representation of its underlying Boolean algebra and then extend this to a topological field of sets by taking the topology generated by the complexes corresponding to the open elements of the interior algebra (which form a base for a topology).