Basis of a pregeometry
= 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.
= 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.