En restfinit eller restfinit gruppe er en gruppe således, at der for ethvert element er en homomorfi til en endelig gruppe, der opfylder betingelsen .