Trong toán học, phạm trù Rel (viết tắt của "relation", từ tiếng Anh cho "quan hệ") có đối tượng là các tập hợp và cấu xạ là các quan hệ hai ngôi.
Một cấu xạ R: A → B được cho bởi R ⊆ A × B.
Phép hợp hai quan hệ R: A → B và S: B → C được cho bởi
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.