¿Cómo se define la lira?