บทนิยาม เป็นข้อความแสดงความหมายของคำ หรือวลี หรือชุดสัญลักษณ์ต่าง ๆ[1] บทนิยามแบ่งได้เป็นสองหมวดหมู่ใหญ่ ๆ ได้แก่ บทนิยามเชิงเนื้อหา (อธิบายเนื้อหาสำคัญของคำ) และบทนิยามเชิงขยายความ (แจกแจงรายการข้อมูลที่เป็นความหมายของคำ)[2] คำหนึ่ง ๆ อาจมีหลายความหมาย จึงทำให้มีบทนิยามหลายบทนิยาม[3]ในทางคณิตศาสตร์ บทนิยามจะให้ความหมายของศัพท์เฉพาะคำใหม่ แทนที่จะอธิบายศัพท์ที่มีอยู่แล้ว บทนิยามและสัจพจน์เป็นพื้นฐานที่คณิตศาสตร์ทุกสาขากำหนดขึ้น[4]