Definition:Initial Segment of Zero-Based Natural Numbers