Hauptsteinkohlenformation nannte man früher, als man die einzelnen Formationen hauptsächlich nach ihrer Gesteinsbeschaffenheit, weniger nach ihrem paläontologischen Charakter unterschied, die produktive Steinkohlenformation oder obere Carbonformation, weil sie die mächtigsten und zahlreichsten Steinkohlenflötze birgt, im r Leltonzum Wealden (s. Deistersandstein), der Lettenkohlengruppe, dem Rotliegenden und dem Culm d.), in welchen die Flötze meist nur geringe Mächtigkeit, Reinheit und Verbreitung erlangen.