Z =set of all Integers
Z+ =set of all positive integers
A set (i.e. Z+) along with a operator (i.e. >=) is said to be well ordered set
if it satisfy the property of group as well as it has a least element(which must be constant)
Here least element is Zero.