3See equation (1) for a formal definition