Las propiedades son implementadas mediante la palabra clave @synthesize, que genera los métodos getter (y setter, si no son de sólo lectura) de acuerdo a la declaración de la propiedad.