Constructive complements of unions of two closed sets

摘要

It is well known that in Bishop-style constructive mathematics, the closure of the union of two subsets of R is 'not' the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient space in order to avoid any application of Markov's Principle.