Sea ("X", "f") un sistema inverso de objetos y morfismos en una categoría "C" (con la misma definición indicada previamente).