>>119の前に次元が定義されていて、

「Vの元をn個集めた{v_1,...,v_n}が次の条件を満たすとき、nをVの次元という。
(1){v_1,...,v_n}は一次独立
(2)Vの任意の元uに対し、これを付け足した{v_1,...,v_n,u}は一次従属」

です。