關係

關係是笛卡爾積的任何子集。例如，的子集，稱為“從 到 的二元關係”，是具有來自 的第一個分量和來自 的第二個分量的有序對 的集合，並且，特別地， 的子集稱為“ 上的關係”。對於二元關係 ，人們經常寫作 來表示 在 中。