在立体几何里,直线和平面都看成点的集合.
在集合论里,集合和集合的关系只能是包含关系.
立体几何借助集合语言,
把“直线在平面内”记为“直线包含于平面内”如a（＝α.
没有“真包含于”与“包含于”的区别.