that is specified by . (That set might be empty, currently.) In terms of quantifiers, extension is (for all), as opposed to intention which is (there exists).

For example, the extension of a function is a set of ordered pairs that pair up the arguments and values of the function; in other words, the function's graph. The extension of an object in abstract algebra, such as a group,