Bổ đề Zorn là một phát biểu toán học quan trọng có nhiều ứng dụng trong giải tích: nó là công cụ hữu hiệu để chứng minh các kết quả về sự tồn tại. Các dạng phát biểu khác của bổ đề Zorn như tiên đề chọn, nguyên lý tối đại Hausdorff.