『』：前提条件（公理） 「」：自然に導かれた概念への命名（定義） 『線形結合』 →「span(S)」線形結合で張られる空間 →「生成系」空間側から見た、自己を張る元の集合 →「線形独立」線形結合で表せない元 →「基底」常に定濃度で存在する、線形独立な生成系