  This is a brief introduction to the basic concepts of topology. It includes
the basic constructions, discusses separation properties, metric and
pseudometric spaces, and gives some applications arising from the use of
topology in computing.
