Man sagt, dass eine natürliche Zahl n{\displaystyle {}n} größergleich einer natürlichen Zahl k{\displaystyle {}k} ist, geschrieben
wenn man von k{\displaystyle {}k} aus durch endlichfaches Nachfolgernehmen zu n{\displaystyle {}n} gelangt.