つまり部分空間AB…XYは、点Zが部分空間AB…Xを動くときの任意の直線YZ上にある点全体の成す部分空間として、帰納的に定義することができる。
一个子空间AB…XY可以被递归地定义成包括所有线YZ上的点，其中Z为AB…X内的点。