universe of discourse

名词noun

1. 1(logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.