La función identidad es trivialmente idempotente, es decir: