Anthracosauria

"lagartos del carbón") son un orden extinto de reptiliomorfos que tuvieron su apogeo durante el Carbonífero y Pérmico Inferior.

Según Romer, los antracosaurios incluyen todos los laberintodontos no amniotas, y la definición de Säve-Söderbergh es más equivalente al suborden Embolomeri de Romer.

Michel Laurin[4]​ usó el término en sentido cladístico para referirse solo a los tetrápodos más similares a reptiles (Diadectomorpha y Solenodonsauridae) y los amniotas, considerándolos no relacionados con los anfibios modernos.

Pero Michael Benton[5]​[6]​ considera los antracosaurios un orden parafilético dentro del superorden de Reptiliomorpha, junto a los órdenes Seymouriamorpha y Diadectomorpha.

El nombre Anthracosauria proviene del griego y significa "lagartos del carbón" porque muchos de sus restos fósiles han sido hallado en Coal Measures, un término litoestratigráfico usado para designar la parte del Carbonífero Superior que contiene carbón.