Sea ("A") una familia de grupos y supongamos que se tiene una familia de homomorfismos "f" : "A" → "A" para todo "i" ≤ "j" (notar el orden) con las siguientes propiedades: