Khối đa diện (H) được gọi là khối đa diện lồi nếu đoạn thẳng nối hai điểm bất kỳ của (H) luôn thuộc (H). Khi đó đa diện giới hạn (H) được gọi là đa diện lồi.

Một khối đa diện là khối đa diện lồi khi và chỉ khi miền trong của nó luôn nằm về một phía đối với mỗi mặt phẳng đi qua một mặt của nó.

Vậy theo định nghĩa trên thì chỉ có 1 hình là đa diện lồi.