Định lý Helly là một kết quả cơ bản trong hình học rời rạc về giao của các tập hợp lồi. Nó được phát hiện bởi Eduard Helly năm 1913,[1] nhưng chỉ được xuất bản năm 1923, khi các chứng minh khác của Radon (1921)Lỗi harv: không có mục tiêu: CITEREFRadon1921 (trợ giúp) và König (1922)Lỗi harv: không có mục tiêu: CITEREFKönig1922 (trợ giúp) đã được đăng. Định lý Helly đưa ra khái niệm gia đình Helly.