Một chức năng #f: X đến Y # được đưa ra khi bạn có hai bộ và một luật cho bạn biết cách liên kết một và chỉ một mục #y trong Y # cho mỗi #x trong X #.
Trường hợp đơn giản nhất được biểu diễn bằng hàm số, có nghĩa là bạn liên kết một số thực với mọi số thực. Vì vậy, có # x ^ 2 + 5 # là một chức năng, bởi vì mỗi số thực bạn có thể tính bình phương của nó, và sau đó thêm năm. Đây chính xác là những gì "luật" tôi đã đề cập trước đây bảo bạn làm: viết #f (x) = x ^ 2 + 5 # (hoặc cũng thường xuyên # y = x ^ 2 + 5 #) có nghĩa là "lấy một số # x #, nhân nó với chính nó, có được # x ^ 2 #và sau đó thêm #5# kết quả, đạt được # x ^ 2 + 5 #.
