A key first step in the development of any information system is the construction of an appropriate model. Foundations of Spatial Informatics takes the reader systematically through the general theory upon which such models are based, with a focus on models for spatial domains. Beginning with the universal modeling tools of sets, functions and relations, the book introduces richer structures, such as graphs, surfaces, topologies, and metric spaces. Both object and field-based models are considered. The book also surveys recent work on qualitative models of spatial relations. The second half of the book introduces models of dynamic spatial domains that require analysis of change and movement. It shows how the static modeling structures introduced in part one can be extended to the dynamic case.