的「相似」或集合论中的「为……之元素」、「为……之子集」。
定义.集合formula_1与集合formula_2上的二元关系是formula_3，当中formula_4，称为formula_5的图，是笛卡儿积formula_6的子集。若formula_7则称formula_8与formula_9有关系formula_5，并记作formula_11或formula_12。但经常地我们把关系与其图等价起来，即若formula_13则formula_5是一个关系。例子：有四件物件