Hukum Boyle menyatakan bahwa "dalam suhu tetap" untuk massa yang sama, tekanan absolut dan volume udara terbalik secara proporsional. Hukum ini juga bisa dinyatakan sebagai: secara agak berbeda, produk dari tekanan absolut dan volume selalu konstan.

Kebanyakan udara berjalan seperti udara ideal saat tekanan dan suhu cukup. Teknologi pada abad ke-17 tidak dapat memproduksi tekanan tinggi atau suhu rendah. Tetapi, hukum tidak mungkin memiliki penyimpangan pada saat publikasi. Sebagai kemajuan dalam teknologi membolehkan tekanan lebih tinggi dan suhu lebih rendah, penyimpangan dari sifat udara ideal bisa tercatat, dan hubungan antara tekanan dan volume hanya bisa akurat, dijelaskan sebagai teori udara sesungguhnya.^[7] Penyimpangan ini disebut sebagai faktor kompresibilitas.

Robert Boyle (dan Edme Mariotte) menyatakan bahwa hukum tersebut berasal dari eksperimen yang mereka lakukan. Hukum ini juga bisa berasal secara teori, berdasarkan anggapan bahwa atom danmolekul dan asumsi tentang gerakan dan elastis sempurna (lihat teori kinetis udara). Asumsi tersebut ditemukan dengan resisten hebat dalam komunitas ilmiah positif saat itu, tetapi, saat mereka terlihat, merupakan konstruksi teoretis murni yang tidak ada sedikit pun bukti pengamatan.

Pada tahun 1738, Daniel Bernoulli, mengembangkan teori Boyle menggunakan Hukum Newton dengan aplikasi tingkat molekul. Ini tetap tidak digubris sampai kira-kira tahun 1845, dimana John Waterston menerbitkan bangunan kertas dengan persepsi utama adalah teori kinetis; tetap tidak digubris oleh Royal Society of England. Kemudian, James Prescott Joule, Rudolf Clausius, dan Ludwig Boltzmann menerbitkan teori kinetis udara, dan menarik perhatian teori Bernoulli dan Waterston.^[8]

Debat antara proponen energetika dan atomisme mengantar Boltzmann untuk menulis buku pada tahun 1898, dimana membuahkan kritik dan mengakibatkan ia bunuh diri pada tahun 1906.^[8] Albert Einstein, pada tahun 1905, memperlihatkan bagaimana teori kinetis berlaku kepada Gerakan Brown dengan partikel yang berisi fluida, dikonfirmasi tahun 1908 oleh Jean Perrin.^[8]