Las condiciones 3 y 4 se deducen de la primera, de ahí que en la definición clásica no se pidan.