Sphenacodontia is a stem-based clade of derived synapsids. It was defined by Amson and Laurin (2011) as "the largest clade that includes Haptodus baylei, Haptodus garnettensis and Sphenacodon ferox, but not Edaphosaurus pogonias". They first appear during the Late Pennsylvanian epoch. From the end of the Carboniferous to the end of the Permian, most of them remained large, with only some secondarily becoming small in size.

Haptodus is an extinct genus of basal sphenacodont, member of the clade that includes therapsids and hence, mammals. It was at least 1.5 metres (5 ft) in length. It lived in present-day France during the Early Permian. It was a medium-sized predator, feeding on insects and small vertebrates.