Definitie van Procolophonia: Uitgestorven orde van plantenetende reptielen die waren onderverdeeld in drie of vier families met ongeveer 30 genera. Het waren kleine hagedisachtige landreptielen met een kruinoog bij de frontopariëtale naad boven op de schedel. Ze leefden van het Boven-Perm tot het Boven-Trias.