Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)
In this chapter we collect facts and results which will be used freely in the book, in an attempt to make it as self-contained as possible.
KeywordsTopological Space Closure Operator Recursive Function Product Topology Mathematical Background
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1994