Concept

Dimension (vector space)