subfamilia finita de dicha familia que también lo cubre.