Input (grade 11): All bases of a vector space have the same cardinality (number of elements), called the dimension of the vector space.
Output (grade 8): The Dimension of a given vector space is the number of elements of the basis.