Pregeometry
= Pregeometry
A <pregeometry> is a finitary closure structure with the exchange axiom, extending the closure description of a <matroid> to possibly infinite underlying sets. A pregeometry is a closure operator with finite character and exchange. Algebraic closure in a strongly minimal theory is a pregeometry.