Entonces los conjuntos de pares ("A", "f") es llamado un sistema inverso de grupos y morfismos sobre "I".