  We give an exposition of some results from matroid theory which characterise
the finite pregeometries arising from Hrushovski's predimension construction.
As a corollary, we observe that a finite pregeometry which satisfies
Hrushovski's flatness condition arises from a predimension.
