Prime number
Set
definiendum
$ p\in\mathrm{it} $
inclusion
$p\in\mathbb{N}\setminus\{0,1\}$
range
$1<n<p$
postulate
$\nexists n.\, n\mid p$
Subset of
Natural numbers
Related
Prime enumeration