Esos que mencionas vienen con Android One, sin la capa de personalización MIUI.
El A1 y el A2 Lite tienen el mismo procesador Snapdragon 625 y el A2 tiene el 660. Ojo el A2 no tiene para poder añadir tarjeta micro SD.
Actualmente, del 3 al 7 de agosto, creo que de 22 a 24 horas hay un descuento de 40 euros en los teléfonos Redmi 5 y Redmi 5 Plus, en la página oficial de Xiaomi en España (www.mi.com), quedando ambos a un muy buen precio. Esos dos teléfonos tienen la capa de personalización MUI. El Redmi 5 lleva un Snapdragon 450 y el Redmi5 plus un Snapdragon 625.
Te registras en su página y si te interesa y estas muy atento, en cuanto comience la oferta, puedes hacerte con el Redmi 5 por 119 euros (3GB/32GB) y con el Redmi 5 Plus por 139 euros (3GB/32GB). Te los envian en dos días a casa. Yo en agosto aproveche una oferta similar y compré el Redmi 5 por 119 euros (3GB/32GB). En principio funciona correctamente, lo único que tienes que acostumbrar a la capa de personalización MIUI.
Todo depende para que vas a emplear el teléfono. Para un uso básico, con el Redmi 5 y el Redmi 5 Plus te es suficiente.
Si tu prioridad es que venga con Android One, con el A2 Lite tienes suficiente. El A1 es modelo del año pasado y entonces lo encuentras a mejor precio.
Echa un ojo a la página que te indico.