>>233
もちろんP(ω)∪ONを含むって条件が入ってるが。