Put and . The closure of the open is the closed sublocale with closed nucleus ; its interior is the open . The closed sublocale complementary to is also open precisely when is complemented, in which case its open representative is . Thus the closure is clopen precisely when the regular open element is complemented. Every regular open element has this form, so (i) and (ii) are equivalent.
Articles by others on the same topic
There are currently no matching articles.