Please use this identifier to cite or link to this item:
Strong completions of spaces
Issue Date: 
Andradi, H., & Ho, W. K. (2016). Strong completions of spaces. Unpublished manuscript, National Institute of Education, Nanyang Technological University, Singapore.
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respect to the specialization order) of a T0 space are always irreducible, and (4) the topological closure of every irreducible set is again irreducible. In recent years, the usefulness of irreducible sets in domain theory and non-Hausdorff topology has expanded. Notably, Zhao and Ho (2009) developed the core of domain theory directly in the context of T0 spaces by choosing the irreducible sets as the topological substitute for directed sets. Just as the existence of suprema of directed subsets is featured prominently in domain theory (and hence the notion of a dcpo – a poset in which all directed suprema exist), so too is that of irreducible subsets in the topological domain theory developed by Zhao and Ho. The topological counterpart of a dcpo is thus this: A T0 space is said to be strongly complete if the suprema of all irreducible subsets exist. In this paper, we show that the category, scTop+, of strongly complete To spaces forms a reflective subcategory of a certain lluf subcategory, Top+, of To spaces.
This is an unpublished manuscript archived in Arxiv. The unpublished manuscript is available online at
Appears in Collections:Journal Articles

Files in This Item:
File Description SizeFormat 
arXiv-2016-Andradi.pdf178.31 kBAdobe PDFView/Open
Show full item record

Page view(s)

Last Week
Last month
checked on Mar 23, 2018


checked on Mar 23, 2018