The formal definition is: