the topological boundary of a disc is a circle