Concepts of Maps.- A Formal Model of Maps as a Fundamental Type.- PLR Partitions: Extending Maps to Include Point and Line Features.- Foundational Operations for Maps.- Constructing Map Operations using the Fundamental Maps.- Extended Operations Over Maps.- Topological Relationships Between Maps.- A Discrete Model of Maps.- Implementing Maps: Map2D.