Die Hauptrogenstein-Formation (früher auch nur Hauptrogenstein) ist eine lithostratigraphische Formation des Süddeutschen Jura. Sie wird von der Ostreenkalk-Formation unterlagert und von der Variansmergel-Formation überlagert. Sie ist nur im Oberrheintal ausgebildet, zieht sich aber weiter nach Westen über die Schweiz bis nach Westfrankreich h...