在数学上一般指一组基本的功能或能力。如可产生整个几何空间的一组向量集合。在逻辑学上，集合的〝非（not）〞和〝或（or）〞运算子为正交，而〝非与（nand）〞、〝或（or）〞和〝非（not）〞不为正交（因任何一个运算子可用另外二个来表示）。