\(\underbrace{S}_{S}\underbrace{\text{enthält genau}}_{=} \left\{\underbrace{\text{die Tripel}}_{(x,y,z)}\,\underbrace{\text{ganzerZahlen}}_{\in\mathbb{Z}^{3}}\,\underbrace{\text{,so dass}}_{:}\,\underbrace{\text{die Summe ihrer ersten beiden Komponenten}}_{x+y}\,\underbrace{\text{gleich}}_{=}\,\underbrace{\text{der dritten}}_{z} \text{ist}\right\}\)