空和
例えば、線型代数学においてベクトル空間 V の基底とは、V の線型独立な元からなる部分集合 B であって、V の任意の元が B の元の線型結合として表されるものを言うのであった。ここで空和の規約を用いれば、零次元ベクトル空間 V = {0} は基底を持つ、すなわち空集合がその基底であるということができる。