Proposition 3.2 (Universal property of inverse limits). Assuming that:

• $B$ is a set / group / ring

• ${\psi }_n$ are homomorphisms ${\psi }_n:B\to A_n$ such that

  

  commutes for all $n$