n+1 = \{0, 1, 2, \ldots, n \}