The inverse limit of the inverse system is the subset of the Cartesian product of the A_i consisting of all families (a_i) such that whenever i<j the transition map f_ij satisfies f_ij(a_j)=a_i, so each member M is a kind of cross section of the system.