n. (Logic) the set of characteristics or properties by which the referent or referents of a given expression is determined; the sense of an expression that determines its reference in every possible world, as opposed to its actual reference. For example, the intension of prime number may be having no non-trivial integral factors, whereas its extension would be the set {2, 3, 5, 7, 11,...}.