Assertion: interior algebra | /r/HasProperty | finer topology
Facets:
Source sentences:
text: (The topology of the Stone representation is also known as the McKinsey-Tarski Stone topology after the mathematicians who first generalized Stone's result for Boolean algebras to interior algebras and should not be confused with the Stone topology of the underlying Boolean algebra of the interior algebra which will be a finer topology).