B = \{ -n : n \in \mathbb{N} \}