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.
New to topics? Read the docs here!