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