  We show that every isometric action on a Cantor set is conjugate to an
inverse limit of actions on finite sets; and that every translation action by a
finitely-generated, amenable subgroup of a compact group is residually finite.
