关系

关系是笛卡尔积的任何子集。例如，的子集，称为“从 到 的二元关系”，是具有来自 的第一个分量和来自 的第二个分量的有序对 的集合，并且，特别地， 的子集称为“ 上的关系”。对于二元关系 ，人们经常写作 来表示 在 中。