Assertion: euclidean space's property | /r/HasProperty | expressed
Facets:
Source sentences:
text: A locale is defined to be a complete Heyting algebra, and the elementary properties of topological spaces are re-expressed and reproved in these terms.