Specifying and Detecting Topological Changes to an Areal Object