on::::包立向量.包立向量定义为：这个定义提供了将一般向量基底对应到包立矩阵的基底的机制相同的下标是使用了爱因斯坦求和约定。此外：
对易关系.包立矩阵有以下的对易关系：以及以下的反对易关系。其中"ε"是列维-奇维塔符号，"δ"是克罗内克函数，是"I"是2 ×2的单位矩阵。而一样的，上面使用了爱因斯坦求和约定。
和内积、外积的关系.将包立矩阵的对易和反对易相加得：因此可得：为了避免符号重复，将"a", "b", "c"改成"p",