kommt auf die Definition von ℕ an.
Meistens ist 0 nicht in ℕ enthalten. Dann wäre dein Argument, dass es nicht linkstotal ist, da es für a=1 es kein b gibt, sodass a=b+1
Ansonsten schreib einfach
"Die Relation ist nicht linkstotal, da es für a=0 (0 ∈ ℕ) kein b ∈ ℕ gibt, sodass die Relation gilt"