Definition:Initial Segment of One-Based Natural Numbers