Prozostrodontia es un clado de cinodontes que incluye a los mamíferos y a sus parientes no mamaliformes más próximos tales como Tritheledontidae y Tritylodontidae.
Fue erigido como un taxón basado en nodos por Liu y Olsen (2010) y definido como el clado menos inclusivo que contiene a Prozostrodon brasiliensis, Tritylodon langaevus, Pachygenelus monus y Mus musculus (el ratón doméstico).
Prozostrodontia fue diagnosticado por varias características, incluyendo: Prozostrodontia incluye a los tritilodóntidos, los cuales han sido tradicionalmente situados en un grupo de cinodontes más primitivo, Cynognathia como distantes parientes de los mamíferos.
Muchos estudios previos consideraron a Tritheledontidae como una agrupación válida monofilética, lo cual significa que es un clado verdadero incluyendo a todos los descendientes de un único ancestro común, pero Liu y Olsen (2010) encontraron que Tritheledontidae es una serie parafilética de prozostrodontios basales.
A continuación un cladograma de Liu y Olsen (2010) mostrando la posición filogenética de Prozostrodontia:[1] Procynosuchus Galesaurus Thrinaxodon Platycraniellus Cynognathus Diademodon Langbergia Trirachodon Sinognathus Pascualgnathus Luangwa Scalenodon angustifrons Scalenodon hirschoni Massetognathus Exaeretodon Ecteninion Chiniquodon Probainognathus Prozostrodon Therioherpeton Riograndia Pachygenelus Oligokyphus Kayentatherium Tritylodon Beinotherium Brasilodon Adelobasileus Sinoconodon Morganucodon