With every subset selection Z for posets, there is associated a certain ideal completion Z . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about Z-predistributive or Z-precontinuous posets and Z -continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are D −continuous functions between them, is shown to be cartesian closed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.