Projective limit