Nhớ lại một hàm f từ một tập A để một bộ B (như được định nghĩa trong phần 2.3) gán chính xácmột trong những yếu tố của B cho mỗi phần tử của A. Đồ thị của f là các thiết lập của lệnh cặp (a, b) như vậyrằng b = f (a). Bởi vì các đồ thị của f là một tập hợp con của một × B, đó là một quan hệ từ A đến B.Hơn nữa, các đồ thị của một hàm có tính chất mọi phần tử của A là yếu tố đầu tiênchính xác một lệnh cặp của đồ thị.Ngược lại, nếu R là một mối quan hệ từ A đến B sao cho mỗi phần tử trong A là yếu tố đầu tiênchính xác một đôi ra lệnh R, sau đó một chức năng có thể được định nghĩa với R là đồ thị của nó. Điều này có thểthực hiện bằng cách gán cho một phần tử một a độc đáo nguyên tố b ∈ B sao cho (a, b) ∈ R. (lưu ýrằng mối quan hệ R trong ví dụ 2 không phải là đồ thị của một hàm vì Middletown xảy ra hơnhơn một lần như là các yếu tố đầu tiên của một cặp đã ra lệnh trong R.)Một mối quan hệ có thể được sử dụng để thể hiện một một trong rất nhiều mối quan hệ giữa các yếu tố của cácbộ A và B (như trong ví dụ 2), nơi một phần tử của A có thể liên quan đến nhiều yếu tốcủa B. Một chức năng đại diện cho một mối quan hệ nơi chính xác một phần tử của B có liên quan đến mỗi yếu tốcủa A.Mối quan hệ là một tổng quát của đồ thị của chức năng; họ có thể được sử dụng để thể hiện một nhiềulớp học rộng lớn hơn của mối quan hệ giữa các bộ. (Nhớ rằng đồ thị của hàm số f từ A đến Blà tập hợp các lệnh cặp (a, có điểm f phần nào (a)) cho ∈ A.)
đang được dịch, vui lòng đợi..
