全ての可能な消滅演算子aを作用させて得られる状態|0&gt;を真空と定義する。