Definition:Strictly Positive Natural Numbers