định nghĩa của một hàm toán học
Định nghĩa kỹ thuật của một chức năng là: một quan hệ từ một tập hợp các đầu vào đến một tập hợp các đầu ra có thể có trong đó mỗi đầu vào liên quan đến chính xác một đầu ra.
Sự phân đôi cơ bản là liệu một khai báo có chứa định nghĩa hay không: ví dụ, liệu một khai báo của một hằng số hay một biến chỉ định giá trị của hằng số (tương ứng, giá trị ban đầu của một biến) hay chỉ kiểu của nó; và tương tự như vậy liệu một khai báo của một hàm chỉ định phần thân (thực thi) của hàm hay chỉ ...