>>164
∨N = ω ってところがミソな（有界なものだと∨で閉じてしまう）んだな、
おまいさんはえらいぞ。