Description of a set based on its defining property and its universal set.
Example
The set E of whole multiples of 2 can be defined intensionally like this:
E = \(\left\{ x\in \mathbb{N}\ \Big\vert\ x\div 2\in \mathbb{N}\right\}\) .
The set E of whole multiples of 2 can be defined intensionally like this:
E = \(\left\{ x\in \mathbb{N}\ \Big\vert\ x\div 2\in \mathbb{N}\right\}\) .