 For example let \(\mathbb{Z}\) be the additive group of integers. Its elements are the integers (positive, negative and 0), and the symbols \(+\), \(-\), \(0\) have their usual meanings. Consider the formula