Prozostrodontia
Prozostrodontia, mammaliaformları ve bunların Tritheledontidae ve Tritylodontidae gibi en yakın akrabalarını içeren bir sinodont kladıdır. Liu ve Olsen (2010) tarafından düğüm tabanlı bir takson olarak dikildi ve Prozostrodon brasiliensis, Tritylodon langaevus, Pachygenelus monus ve Mus musculus'u (ev faresi) içeren en az kapsayıcı klad olarak tanımlandı. Prozostrodontia, aşağıdakiler de dahil olmak üzere birkaç karakterle teşhis edilir: Azaltılmış prefrontal ve postorbital kemikler, göz yuvasını temporal bölgeden ayıran postorbital çubuk adı verilen bir kemik desteğinin azalması veya kaybolması.