数学および集合論において遺伝的有限集合(いでんてきゆうげんしゅうごう、英: hereditarily finite set)は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。