“真包含于”在立体几何里是什么意思?

问题描述:

“真包含于”在立体几何里是什么意思?
它表示的是直线和平面的关系,

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