数学上，二元关系（，或简称关系）用于讨论两种物件的连系。诸如算术中的「大于」及「等于」、几何学中的「相似」或集合论中的「为……之元素」、「为……之子集」。
定义.集合formula_1与集合formula_2上的二元关系是formula_3，当中formula_4，称为formula_5的图，是笛卡儿积formula_6的子集。若formula_7则称formula_8与formula_9有关系formula_5，并记作formula_11或formula_12。但经常地我们把