Space

The theory of space in GOL is based on works of Brentano and Chrisholm brentano1,chrisholm1. Space is three dimensional, and a connected region of space is called a topoid. Regions of space are mereological sums of topoids, sums in the sense of a relation $\leq _{st}$, spatial part-of. As for chronoids, regions of space have boundaries, and the boundaries of different regions of space may coincide. However, a three-dimensional region of space has a two-dimensional boundary, which may have one-dimension boundaries which again has zero-dimensional boundaries or spatial points as boundaries.

Spatial regions have size and shape. Two different regions of space are congruent if they have the same size and shape.