Nearness, Subfitness and Sequential Regularity
暂无分享,去创建一个
In the point-free context, the structure of nearness has been so far studied in the regular case only. Here we answer the question as to how far beyond that one can go. It turns out that a frame (locale) (quasi-)admits a nearness iff it is subfit. Unlike in the case of spaces, where admitting nearness is a hereditary property, subfitness is not; therefore, also the hereditary subfitness (here called sequential regularity for reasons obvious from the properties presented) is studied. It is weaker than regularity and seems to be of some interest also in the spatial case.