${\displaystyle {}n\geq k\,}$

genau dann, wenn es ein ${\displaystyle {}m\in \mathbb {N} }$ mit

${\displaystyle {}n=k+m\,}$