Batuan sedimen
Batuan sedimen adalah batuan yang terbentuk di permukaan bumi pada kondisi temperatur dan tekanan yang rendah. Batuan ini berasal dari batuan yang lebih dahulu terbentuk, yang mengalami pelapukan, erosi, dan kemudian lapukannya diangkut oleh air, udara, atau es, yang selanjutnya diendapkan dan berakumulasi di dalam cekungan pengendapan, membentuk sedimen. Material-material sedimen itu kemudian terkompaksi, mengeras, mengalami litifikasi, dan terbentuklah batuan sedimen.[1]
Porositas
Dalam geologi pertambangan, porositas bebatuan atau lapisan sedimen penting sebagai rujukan ketika mengevaluasi volume potensial air dan hidrokarbon yang mungkin terkandung di dalamnya. Porositas sedimen adalah fungsi yang rumit dari berbagai faktor, mencakup laju pengebumian, kedalaman pengebumian, sifat fluida, sifat sedimen di atasnya, dan sebagainya. Persamaan yang umum digunakan adalah persamaan Athy (1930):