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.
Man sagt, dass eine natürliche Zahl größergleich einer natürlichen Zahl ist, geschrieben
wenn man von aus durch endlichfaches Nachfolgernehmen zu gelangt.