Natürliche Zahlen/Ordnungsrelation/Definition

Größergleichrelation auf N

Man sagt, dass eine natürliche Zahl größergleich einer natürlichen Zahl ist, geschrieben

wenn man von aus durch endlichfaches Nachfolgernehmen zu gelangt.