広義の時は無限次元は定義に入れない。狭義なら当然前提になる。