#
nLab
extension (semantics)

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

# Contents

## Idea

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.

## References

Last revised on September 1, 2022 at 09:01:46.
See the history of this page for a list of all contributions to it.