Pregeometry (model theory)

Pregeometry is a concept from model theory, a branch of mathematical logic that studies the relationships between mathematical structures and the languages used to describe them. In a more abstract sense, pregeometry can be understood as a framework that deals with geometric structures arising from set-theoretic or algebraic foundations. Typically, pregeometry focuses on properties and relationships that can be defined before specifying a complete geometric structure, thus laying the groundwork for developing geometries in a more classical sense.