⟨∅⟩ はゼロである。