Definition:Set of Natural Numbers