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\}\) .

Description of a set based on its defining property and its universal set.

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\}\) .