Por tanto, la primera definición es: