+ Định lí: Một định lý toán học là một mệnh đề toán học đã được, hoặc cần được chứng minh dựa trên một số hữu hạn các tiên đề và quá trình suy luận.
+ Định nghĩa: là sự xác định bằng ngôn ngữ nhất định những đặc trưng cơ bản tạo thành nội dung của khái niệm về một sự vật, hiện tượng hay quá trình, với mục đích phân biệt nó với các sự vật, hiện tượng hay quá trình khác.
+ Tính chất: là những điều được suy ra từ định nghĩa.