${\displaystyle {}a\geq 0\,}$

für alle ${\displaystyle {}a\in \mathbb {N} }$.

${\displaystyle {}a=0\,}$

oder

${\displaystyle {}a\geq 1\,.}$

${\displaystyle {}a\geq b\,}$

gilt

${\displaystyle {}a=b\,}$

oder

${\displaystyle {}a\geq b+1\,.}$