extension (semantics)

This entry is about the notion of extension in semantics. For the notion of extension in algebra, see there.

Given a proposition $P$ on terms of type $X$, its *extension* is the type $\{x \in X | P(x)\}$ of all elements $x$ for which $P(x)$ is true.

- wikipedia, extension (semantics)

Revised on January 20, 2014 16:07:34
by Urs Schreiber
(82.113.121.232)