 Basis of a pregeometry

A basis of a pregeometry is a maximal independent set. Every element lies in the closure of a basis, and the exchange property implies that all bases have the same cardinality.