A paper on Computational Topology that contains some important definitions