Hình đa diện (gọi tắt là đa diện) là hình được tạo bởi một số hữu hạn các đa giác thỏa mãn hai tính chất:
a) Hai đa giác phân biệt chỉ có thể hoặc không có điểm chung, hoặc có một đỉnh chung, hoặc có một cạnh chung.
b) Mỗi cạnh của đa giác nào cũng là cạnh chung của đúng hai đa giác.