Found:

extension

**SYNTAX: **1. the entity or set of entities to which an expression refers. The extension of a proper name or definite description is one entity; the extension of a predicate is a set of entities. The extension of an expression is determined by its **intension** (the meaning or concept of
the expression). This is formalized in **intensional logic** and **Montague Grammar** by taking the intension of an expression as a function which yields the extension of that
expression in every possible world. The distinction between extension and intension is close to Frege's distinction between reference (Bedeutung) and sense (Sinn) and
is also related to the distinction between **denotation** and
**connotation**.

2. a general constraint on **determiner**s in
**Generalized Quantifier Theory**. A determiner D has extension if it is context independent: extension
of the number of elements in the domain has no influence on its interpretation. Formally, a determiner D has extension if and only if for all the subsets X and Y of the domains of entities E and E', condition (i) holds.

(i) if D(X,Y) in E and E a subset of E', then D(X,Y) in E'

LIT. | Gamut, L.T.F. (1991) |