Pregeometry (model theory)

<h2 id="motivation">Motivation</h2>
<p>If 
  
    
      
        V
      
    
    {\displaystyle V}
  
 is a <a href="/facts/Vector_space/M1pxMLx2">vector space</a> over some field and 
  
    
      
        A
        ⊆
        V
      
    
    {\displaystyle A\subseteq V}
  
, we define 
  
    
      
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}(A)}
  
 to be the set of all <a href="/facts/Linear_combination/CVjL6kuN">linear combinations</a> of vectors from 
  
    
      
        A
      
    
    {\displaystyle A}
  
, also known as the <a href="/facts/Linear_span/vPjclEtb">span</a> of 
  
    
      
        A
      
    
    {\displaystyle A}
  
. Then we have 
  
    
      
        A
        ⊆
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle A\subseteq {\text{cl}}(A)}
  
 and 
  
    
      
        
          cl
        
        (
        
          cl
        
        (
        A
        )
        )
        =
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}({\text{cl}}(A))={\text{cl}}(A)}
  
 and 
  
    
      
        A
        ⊆
        B
        ⇒
        
          cl
        
        (
        A
        )
        ⊆
        
          cl
        
        (
        B
        )
      
    
    {\displaystyle A\subseteq B\Rightarrow {\text{cl}}(A)\subseteq {\text{cl}}(B)}
  
. The <a href="/facts/Steinitz_exchange_lemma/jMqEmNmJ">Steinitz exchange lemma</a> is equivalent to the statement: if 
  
    
      
        b
        ∈
        
          cl
        
        (
        A
        ∪
        {
        c
        }
        )
        ∖
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle b\in {\text{cl}}(A\cup \{c\})\smallsetminus {\text{cl}}(A)}
  
, then 
  
    
      
        c
        ∈
        
          cl
        
        (
        A
        ∪
        {
        b
        }
        )
        .
      
    
    {\displaystyle c\in {\text{cl}}(A\cup \{b\}).}

</p><p>The linear algebra concepts of independent set, generating set, basis and dimension can all be expressed using the 
  
    
      
        
          cl
        
      
    
    {\displaystyle {\text{cl}}}
  
-operator alone. A pregeometry is an abstraction of this situation: we start with an arbitrary set 
  
    
      
        S
      
    
    {\displaystyle S}
  
 and an arbitrary operator 
  
    
      
        
          cl
        
      
    
    {\displaystyle {\text{cl}}}
  
 which assigns to each subset 
  
    
      
        A
      
    
    {\displaystyle A}
  
 of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 a subset 
  
    
      
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}(A)}
  
 of 
  
    
      
        S
      
    
    {\displaystyle S}
  
, satisfying the properties above. Then we can define the "linear algebra" concepts also in this more general setting. 
</p><p>This generalized notion of dimension is very useful in model theory, where in certain situation one can argue as follows: two models with the same cardinality must have the same dimension and two models with the same dimension must be isomorphic.
</p>
<h2 id="definitions">Definitions</h2>
<h3>Pregeometries and geometries</h3>
<p>A combinatorial pregeometry (also known as a finitary matroid) is a pair 
  
    
      
        (
        S
        ,
        
          cl
        
        )
      
    
    {\displaystyle (S,{\text{cl}})}
  
, where 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a set and 
  
    
      
        
          cl
        
        :
        
          
            P
          
        
        (
        S
        )
        →
        
          
            P
          
        
        (
        S
        )
      
    
    {\displaystyle {\text{cl}}:{\mathcal {P}}(S)\to {\mathcal {P}}(S)}
  
 (called the closure map) satisfies the following axioms. For all 
  
    
      
        a
        ,
        b
        ,
        c
        ∈
        S
      
    
    {\displaystyle a,b,c\in S}
  
 and 
  
    
      
        A
        ,
        B
        ⊆
        S
      
    
    {\displaystyle A,B\subseteq S}
  
:
</p>
<ol><li>
  
    
      
        
          cl
        
        :
        (
        
          
            P
          
        
        (
        S
        )
        ,
        ⊆
        )
        →
        (
        
          
            P
          
        
        (
        S
        )
        ,
        ⊆
        )
      
    
    {\displaystyle {\text{cl}}:({\mathcal {P}}(S),\subseteq )\to ({\mathcal {P}}(S),\subseteq )}
  
 is monotone increasing and dominates 
  
    
      
        
          id
        
      
    
    {\displaystyle {\text{id}}}
  
 (<i>i.e.</i> 
  
    
      
        A
        ⊆
        B
      
    
    {\displaystyle A\subseteq B}
  
 implies 
  
    
      
        A
        ⊆
        
          cl
        
        (
        A
        )
        ⊆
        
          cl
        
        (
        B
        )
      
    
    {\displaystyle A\subseteq {\text{cl}}(A)\subseteq {\text{cl}}(B)}
  
) and is idempotent (<i>i.e.</i> 
  
    
      
        
          cl
        
        (
        
          cl
        
        (
        A
        )
        )
        =
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}({\text{cl}}(A))={\text{cl}}(A)}
  
)</li>
<li>Finite character: For each 
  
    
      
        a
        ∈
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle a\in {\text{cl}}(A)}
  
 there is some finite 
  
    
      
        F
        ⊆
        A
      
    
    {\displaystyle F\subseteq A}
  
 with 
  
    
      
        a
        ∈
        
          cl
        
        (
        F
        )
      
    
    {\displaystyle a\in {\text{cl}}(F)}
  
.</li>
<li>Exchange principle: If 
  
    
      
        b
        ∈
        
          cl
        
        (
        A
        ∪
        {
        c
        }
        )
        ∖
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle b\in {\text{cl}}(A\cup \{c\})\smallsetminus {\text{cl}}(A)}
  
, then 
  
    
      
        c
        ∈
        
          cl
        
        (
        A
        ∪
        {
        b
        }
        )
      
    
    {\displaystyle c\in {\text{cl}}(A\cup \{b\})}
  
 (and hence by monotonicity and idempotence in fact 
  
    
      
        c
        ∈
        
          cl
        
        (
        A
        ∪
        {
        b
        }
        )
        ∖
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle c\in {\text{cl}}(A\cup \{b\})\smallsetminus {\text{cl}}(A)}
  
).</li></ol>
<p>Sets of the form 
  
    
      
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}(A)}
  
 for some 
  
    
      
        A
        ⊆
        S
      
    
    {\displaystyle A\subseteq S}
  
 are called closed. It is then clear that finite intersections of closed sets are closed and that 
  
    
      
        
          cl
        
        (
        A
        )
      
    
    {\displaystyle {\text{cl}}(A)}
  
 is the smallest closed set containing 
  
    
      
        A
      
    
    {\displaystyle A}
  
.
</p><p>A geometry is a pregeometry in which the closure of singletons are singletons and the closure of the empty set is the empty set.
</p>
<h3>Independence, bases and dimension</h3>
<p>Given sets 
  
    
      
        A
        ,
        D
        ⊆
        S
      
    
    {\displaystyle A,D\subseteq S}
  
, 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is independent over 
  
    
      
        D
      
    
    {\displaystyle D}
  
 if 
  
    
      
        a
        ∉
        
          cl
        
        (
        (
        A
        ∖
        {
        a
        }
        )
        ∪
        D
        )
      
    
    {\displaystyle a\notin {\text{cl}}((A\setminus \{a\})\cup D)}
  
 for any 
  
    
      
        a
        ∈
        A
      
    
    {\displaystyle a\in A}
  
. We say that 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is independent if it is independent over the empty set.
</p><p>A set 
  
    
      
        B
        ⊆
        A
      
    
    {\displaystyle B\subseteq A}
  
 is a basis for 
  
    
      
        A
      
    
    {\displaystyle A}
  
 over 
  
    
      
        D
      
    
    {\displaystyle D}
  
 if it is independent over 
  
    
      
        D
      
    
    {\displaystyle D}
  
 and 
  
    
      
        A
        ⊆
        
          cl
        
        (
        B
        ∪
        D
        )
      
    
    {\displaystyle A\subseteq {\text{cl}}(B\cup D)}
  
. 
</p><p>A basis is the same as a maximal independent subset, and using <a href="/facts/Zorn%2527s_lemma/ssCublFT">Zorn's lemma</a> one can show that every set has a basis. Since a pregeometry satisfies the <a href="/facts/Steinitz_exchange_lemma/jMqEmNmJ">Steinitz exchange property</a> all bases are of the same cardinality, hence we may define the  dimension of 
  
    
      
        A
      
    
    {\displaystyle A}
  
 over 
  
    
      
        D
      
    
    {\displaystyle D}
  
, written as 
  
    
      
        
          
            dim
          
          
            D
          
        
        A
      
    
    {\displaystyle {\text{dim}}_{D}A}
  
, as the cardinality of any basis of 
  
    
      
        A
      
    
    {\displaystyle A}
  
 over 
  
    
      
        D
      
    
    {\displaystyle D}
  
. Again, the dimension 
  
    
      
        
          dim
        
        A
      
    
    {\displaystyle {\text{dim}}A}
  
 of 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is defined to be the dimension over the empty set.
</p><p>The sets 
  
    
      
        A
        ,
        B
      
    
    {\displaystyle A,B}
  
 are independent over 
  
    
      
        D
      
    
    {\displaystyle D}
  
 if 
  
    
      
        
          
            dim
          
          
            B
            ∪
            D
          
        
        
          A
          ′
        
        =
        
          dim
          
            D
          
        
        ⁡
        
          A
          ′
        
      
    
    {\displaystyle {\text{dim}}_{B\cup D}A'=\dim _{D}A'}
  
 whenever 
  
    
      
        
          A
          ′
        
      
    
    {\displaystyle A'}
  
 is a finite subset of 
  
    
      
        A
      
    
    {\displaystyle A}
  
. Note that this relation is symmetric.
</p>
<h3>Automorphisms and homogeneous pregeometries</h3>
<p>An automorphism of a pregeometry 
  
    
      
        (
        S
        ,
        
          cl
        
        )
      
    
    {\displaystyle (S,{\text{cl}})}
  
 is a bijection 
  
    
      
        σ
        :
        S
        →
        S
      
    
    {\displaystyle \sigma :S\to S}
  
 such that 
  
    
      
        σ
        (
        
          cl
        
        (
        X
        )
        )
        =
        
          cl
        
        (
        σ
        (
        X
        )
        )
      
    
    {\displaystyle \sigma ({\text{cl}}(X))={\text{cl}}(\sigma (X))}
  
 for any 
  
    
      
        X
        ⊆
        S
      
    
    {\displaystyle X\subseteq S}
  
.
</p><p>A pregeometry 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is said to be homogeneous if for any closed 
  
    
      
        X
        ⊆
        S
      
    
    {\displaystyle X\subseteq S}
  
 and any two elements 
  
    
      
        a
        ,
        b
        ∈
        S
        ∖
        X
      
    
    {\displaystyle a,b\in S\setminus X}
  
 there is an automorphism of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 which maps 
  
    
      
        a
      
    
    {\displaystyle a}
  
 to 
  
    
      
        b
      
    
    {\displaystyle b}
  
 and fixes 
  
    
      
        X
      
    
    {\displaystyle X}
  
 pointwise.
</p>
<h3>The associated geometry and localizations</h3>
<p>Given a pregeometry 
  
    
      
        (
        S
        ,
        
          cl
        
        )
      
    
    {\displaystyle (S,{\text{cl}})}
  
 its associated geometry (sometimes referred in the literature as the canonical geometry) is the geometry 
  
    
      
        (
        
          S
          ′
        
        ,
        
          
            cl
          
          ′
        
        )
      
    
    {\displaystyle (S',{\text{cl}}')}
  
 where
</p>
<ol><li>
  
    
      
        
          S
          ′
        
        =
        {
        
          cl
        
        (
        a
        )
        ∣
        a
        ∈
        S
        ∖
        
          cl
        
        (
        ∅
        )
        }
      
    
    {\displaystyle S'=\{{\text{cl}}(a)\mid a\in S\setminus {\text{cl}}(\varnothing )\}}
  
, and</li>
<li>For any 
  
    
      
        X
        ⊆
        S
      
    
    {\displaystyle X\subseteq S}
  
, 
  
    
      
        
          
            cl
          
          ′
        
        (
        {
        
          cl
        
        (
        a
        )
        ∣
        a
        ∈
        X
        }
        )
        =
        {
        
          cl
        
        (
        b
        )
        ∣
        b
        ∈
        
          cl
        
        (
        X
        )
        }
      
    
    {\displaystyle {\text{cl}}'(\{{\text{cl}}(a)\mid a\in X\})=\{{\text{cl}}(b)\mid b\in {\text{cl}}(X)\}}
  
</li></ol>
<p>Its easy to see that the associated geometry of a homogeneous pregeometry is homogeneous.
</p><p>Given 
  
    
      
        A
        ⊆
        S
      
    
    {\displaystyle A\subseteq S}
  
 the localization of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is the pregeometry 
  
    
      
        (
        S
        ,
        
          
            cl
          
          
            A
          
        
        )
      
    
    {\displaystyle (S,{\text{cl}}_{A})}
  
 where 
  
    
      
        
          
            cl
          
          
            A
          
        
        (
        X
        )
        =
        
          cl
        
        (
        X
        ∪
        A
        )
      
    
    {\displaystyle {\text{cl}}_{A}(X)={\text{cl}}(X\cup A)}
  
.
</p>
<h3>Types of pregeometries</h3>
<p>The pregeometry 
  
    
      
        (
        S
        ,
        
          cl
        
        )
      
    
    {\displaystyle (S,{\text{cl}})}
  
 is said to be:
</p>
<ul><li>trivial (or degenerate) if 
  
    
      
        
          cl
        
        (
        X
        )
        =
        ⋃
        {
        
          cl
        
        (
        a
        )
        ∣
        a
        ∈
        X
        }
      
    
    {\displaystyle {\text{cl}}(X)=\bigcup \{{\text{cl}}(a)\mid a\in X\}}
  
 for all non-empty 
  
    
      
        X
        ⊆
        S
      
    
    {\displaystyle X\subseteq S}
  
.</li>
<li>modular if any two closed finite dimensional sets 
  
    
      
        X
        ,
        Y
        ⊆
        S
      
    
    {\displaystyle X,Y\subseteq S}
  
 satisfy the equation 
  
    
      
        
          dim
        
        (
        X
        ∪
        Y
        )
        =
        
          dim
        
        (
        X
        )
        +
        
          dim
        
        (
        Y
        )
        −
        
          dim
        
        (
        X
        ∩
        Y
        )
      
    
    {\displaystyle {\text{dim}}(X\cup Y)={\text{dim}}(X)+{\text{dim}}(Y)-{\text{dim}}(X\cap Y)}
  
 (or equivalently that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is independent of 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 over 
  
    
      
        X
        ∩
        Y
      
    
    {\displaystyle X\cap Y}
  
).</li>
<li>locally modular if it has a localization at a singleton which is modular.</li>
<li>(locally) projective if it is non-trivial and (locally) modular.</li>
<li>locally finite if closures of finite sets are finite.</li></ul>
<p>Triviality, modularity and local modularity pass to the associated geometry and are preserved under localization.
</p><p>If 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a locally modular homogeneous pregeometry and 
  
    
      
        a
        ∈
        S
        ∖
        
          cl
        
        (
        ∅
        )
      
    
    {\displaystyle a\in S\setminus {\text{cl}}(\varnothing )}
  
 then the localization of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 in 
  
    
      
        b
      
    
    {\displaystyle b}
  
 is modular.
</p><p>The geometry 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is modular if and only if whenever 
  
    
      
        a
        ,
        b
        ∈
        S
      
    
    {\displaystyle a,b\in S}
  
, 
  
    
      
        A
        ⊆
        S
      
    
    {\displaystyle A\subseteq S}
  
, 
  
    
      
        
          dim
        
        {
        a
        ,
        b
        }
        =
        2
      
    
    {\displaystyle {\text{dim}}\{a,b\}=2}
  
 and 
  
    
      
        
          
            dim
          
          
            A
          
        
        {
        a
        ,
        b
        }
        ≤
        1
      
    
    {\displaystyle {\text{dim}}_{A}\{a,b\}\leq 1}
  
 then 
  
    
      
        (
        
          cl
        
        {
        a
        ,
        b
        }
        ∩
        
          cl
        
        (
        A
        )
        )
        ∖
        
          cl
        
        (
        ∅
        )
        ≠
        ∅
      
    
    {\displaystyle ({\text{cl}}\{a,b\}\cap {\text{cl}}(A))\setminus {\text{cl}}(\varnothing )\neq \varnothing }
  
.
</p>
<h2 id="examples">Examples</h2>
<h3>The trivial example</h3>
<p>If 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is any set we may define 
  
    
      
        
          cl
        
        (
        A
        )
        =
        A
      
    
    {\displaystyle {\text{cl}}(A)=A}
  
 for all 
  
    
      
        A
        ⊆
        S
      
    
    {\displaystyle A\subseteq S}
  
. This pregeometry is a trivial, homogeneous, locally finite geometry.
</p>
<h3>Vector spaces and projective spaces</h3>
<p>Let 
  
    
      
        F
      
    
    {\displaystyle F}
  
 be a <a href="/facts/Field_(mathematics)/xAjAS4ko">field</a> (a division ring actually suffices) and let 
  
    
      
        V
      
    
    {\displaystyle V}
  
 be a vector space over 
  
    
      
        F
      
    
    {\displaystyle F}
  
. Then 
  
    
      
        V
      
    
    {\displaystyle V}
  
 is a pregeometry where closures of sets are defined to be their <a href="/facts/Linear_span/vPjclEtb">span</a>. The closed sets are the linear subspaces of 
  
    
      
        V
      
    
    {\displaystyle V}
  
 and the notion of dimension from linear algebra coincides with the pregeometry dimension.
</p><p>This pregeometry is homogeneous and modular. Vector spaces are considered to be the prototypical example of modularity.
</p><p>
  
    
      
        V
      
    
    {\displaystyle V}
  
 is locally finite if and only if 
  
    
      
        F
      
    
    {\displaystyle F}
  
 is finite.
</p><p>
  
    
      
        V
      
    
    {\displaystyle V}
  
 is not a geometry, as the closure of any nontrivial vector is a subspace of size at least 
  
    
      
        2
      
    
    {\displaystyle 2}
  
.
</p><p>The associated geometry of a 
  
    
      
        κ
      
    
    {\displaystyle \kappa }
  
-dimensional vector space over 
  
    
      
        F
      
    
    {\displaystyle F}
  
 is the 
  
    
      
        (
        κ
        −
        1
        )
      
    
    {\displaystyle (\kappa -1)}
  
-dimensional <a href="/facts/Projective_space/7MSpA9cM">projective space</a> over 
  
    
      
        F
      
    
    {\displaystyle F}
  
. It is easy to see that this pregeometry is a projective geometry.
</p>
<h3>Affine spaces</h3>
<p>Let 
  
    
      
        V
      
    
    {\displaystyle V}
  
 be a 
  
    
      
        κ
      
    
    {\displaystyle \kappa }
  
-dimensional <a href="/facts/Affine_space/tlvI3oX1">affine space</a> over a field 
  
    
      
        F
      
    
    {\displaystyle F}
  
. Given a set define its closure to be its <a href="/facts/Affine_hull/4fhyHKoa">affine hull</a> (i.e. the smallest affine subspace containing it).
</p><p>This forms a homogeneous 
  
    
      
        (
        κ
        +
        1
        )
      
    
    {\displaystyle (\kappa +1)}
  
-dimensional geometry.
</p><p>An affine space is not modular (for example, if 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 are parallel lines then the formula in the definition of modularity fails). However, it is easy to check that all localizations are modular.
</p>
<h3>Field extensions and transcendence degree</h3>
<p>Let 
  
    
      
        L
        
          /
        
        K
      
    
    {\displaystyle L/K}
  
 be a <a href="/facts/Field_extension/L7yIDtyK">field extension</a>. The set 
  
    
      
        L
      
    
    {\displaystyle L}
  
 becomes a pregeometry if we define 
  
    
      
        
          cl
        
        (
        A
        )
        =
        {
        x
        ∈
        L
        :
        x
        
           is algebraic over 
        
        K
        (
        A
        )
        }
      
    
    {\displaystyle {\text{cl}}(A)=\{x\in L:x{\text{ is algebraic over }}K(A)\}}
  
for 
  
    
      
        A
        ⊆
        L
      
    
    {\displaystyle A\subseteq L}
  
.  The set 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is independent in this pregeometry if and only if it is <a href="/facts/Algebraically_independent/H8wV21eD">algebraically independent</a> over 
  
    
      
        K
      
    
    {\displaystyle K}
  
. The dimension of 
  
    
      
        A
      
    
    {\displaystyle A}
  
 coincides with the <a href="/facts/Transcendence_degree/ubxWrbjJ">transcendence degree</a> 
  
    
      
        
          trdeg
        
        (
        K
        (
        A
        )
        
          /
        
        K
        )
      
    
    {\displaystyle {\text{trdeg}}(K(A)/K)}
  
.
</p><p>In model theory, the case of 
  
    
      
        L
      
    
    {\displaystyle L}
  
 being <a href="/facts/Algebraically_closed_field/HuVQClok">algebraically closed</a> and 
  
    
      
        K
      
    
    {\displaystyle K}
  
 its <a href="/facts/Prime_field/D2VzcQaG">prime field</a> is especially important.
</p><p>While vector spaces are modular and affine spaces are "almost" modular (i.e. everywhere locally modular), algebraically closed fields are examples of the other extremity, not being even locally modular (i.e. none of the localizations is modular).
</p>
<h3>Strongly minimal sets in model theory</h3>
<p>Given a countable first-order language <i>L</i> and an <i>L-</i><a href="/facts/Structure_(mathematical_logic)/GsMx1fEb">structure</a> <i>M,</i> any definable subset <i>D</i> of <i>M</i> that is <a href="/facts/Strongly_minimal_theory/NofaScbc">strongly minimal</a> gives rise to a pregeometry on the set <i>D</i>. The closure operator here is given by the algebraic closure in the model-theoretic sense.
</p><p>A model of a strongly minimal theory is determined up to isomorphism by its dimension as a pregeometry; this fact is used in the proof of <a href="/facts/Morley%2527s_categoricity_theorem/gTmQNu12">Morley's categoricity theorem</a>.
</p><p>In minimal sets over <a href="/facts/Stable_theory/0bVGhbeK">stable theories</a> the independence relation coincides with the notion of forking independence.
</p>

<ul><li>H.H. Crapo and G.-C. Rota (1970),  <i>On the Foundations of Combinatorial Theory: Combinatorial Geometries</i>.  M.I.T. Press, Cambridge, Mass.</li>
<li>Pillay, Anand (1996),  <i>Geometric Stability Theory</i>. Oxford Logic Guides.  Oxford University Press.</li>
<li>Casanovas, Enrique (2008-11-11). <a href="http://www.ub.edu/modeltheory/documentos/pregeometries.pdf">"Pregeometries and minimal types"</a> (PDF).</li></ul>

Pregeometry (model theory) open-in-new

Pregeometry (model theory)