Más abajo retomamos este ejemplo, al tratar del atributo definido.