Assertion: interior algebra | /r/HasProperty | represented as a preorder field
Facets:
value: with its interior and closure operators
type: OTHER
Source sentences:
text: Every interior algebra can be represented as a preorder field with its interior and closure operators corresponding to those of the Alexandrov topology induced by the preorder.