Definimos al límite inverso del sistema inverso ("A", "f") como un subgrupo particular del producto directo de cada "A":