回答

既に示されている範囲で成り立っているので
必要ないと思います

あや

では、成立しない場合は定義しますか?

指定されている範囲より狭くなるようなら必ず必要かと、、
そうでなくても真数条件を書いてバツになることはないと思います

この回答にコメントする
疑問は解決しましたか?