Dalam geometri, himpunan bagian dari suatu ruang Euklides (atau, lebih umumnya, ruang afin atas lapangan bilangan riil) dikatakan cembung jika untuk setiap dua titik anggota himpunan bagian, maka ruas garis yang menghubungkan kedua titik tersebut terletak sepenuhnya di dalam himpunan bagian tersebut. Dapat juga dikatakan, himpunan cembung atau daerah cembung adalah himpunan bagian yang mengiris setiap garis menjadi suatu ruas garis tunggal (mungkin kosong).[1][2] Misal, kubus padat adalah himpunan cembung, tetapi apa pun yang berongga atau memiliki lekukan, misalnya, bentuk bulan sabit, bukan cembung.