which leads us to the following formal definition...