ictodosaur ictodosaur n. An extinct reptile intermediate in form between the therapsids and most primitive true mammals.