La discusión anterior a la definición se resume en la siguiente proposición.