Euclidean geometry
设域是 R，设向量空间是欧几里得几何 R2。取 "W" 为 R2 的使得 "x" = "y" 的所有点 ("x","y") 的集合。则 "W" 是 R2 的子空间。