En particular, cualquier elemento identidad es un idempotente bajo "*".