theriodonts are a major group of therapsids. they are a clade which include not only the traditional theriodonts, but also their descendants the mammals as well (in the same way that theropod dinosaurs include the birds as a sub-clade).