議論領域
from
量化
議論領域
議論領域 - Wikipedia
議論領域（ぎろんりょういき、英: domain of discourse, universe of discourse）は、演繹、特に一階述語論理で使われる用語である。
量化
子で扱われる実体の適切な集合を指す。