1. Noun. (algebra) The identity x^2 - y^2 = (x+y)(x-y)\, that holds for all real numbers. ¹
¹ Source: wiktionary.com