どう定義しても大域になりますか