Profinite Completion

The inverse limit (pro-object) of all finite quotients of a discrete group, ring, or other algebraic object, endowed with the inverse-limit topology; the result is a profinite (compact, totally disconnected, Hausdorff) topological object encoding the arithmetic of finite quotients.