A = \{ n + 1 : n \in \mathbb{N} \}