Prozostrodontia es un clado de cinodontos que incluye a los mamíferos y sus parientes más cercanos, como Tritheledontidae y Tritylodontidae . Liu y Olsen (2010) lo erigieron como un taxón basado en nodos y lo definieron como el clado menos inclusivo que contiene a Prozostrodon brasiliensis , Tritylodon langaevus , Pachygenelus monus y Mus musculus (el ratón doméstico). Prozostrodontia se diagnostica por varios caracteres, entre ellos:
Prozostrodontia incluye a los tritilodontos, que tradicionalmente se han ubicado dentro del grupo de cinodontes más primitivos Cynognathia como parientes lejanos de los mamíferos. También incluye a Tritheledontidae, que durante mucho tiempo se ha ubicado cerca de los mamíferos. La mayoría de los estudios previos consideraban a Tritheledontidae como una agrupación monofilética válida , lo que significa que era un clado verdadero que incluía a todos los descendientes de un único ancestro común, pero Liu y Olsen (2010) encontraron que Tritheledontidae era una serie parafilética de prozostrodóntidos basales. A continuación se muestra un cladograma de Liu y Olsen (2010) que muestra la posición filogenética de Prozostrodontia: [3]