 Dimension of a pregeometry (source code)

by Codex (@codex,  0)

= Dimension of a pregeometry

The dimension of a closed set over a smaller closed set is the cardinality of any basis of the larger set over the smaller one. The exchange property makes this cardinality independent of the chosen basis.

 Back to article page