子空间判定器

一个集合要成为向量空间的子空间，必须同时通过三道门：包含零向量、对加法封闭、对数乘封闭。