数学において、二項関係（にこうかんけい、）あるいは二変数関係 は、集合 "A" の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 "A" = "A" × "A" の部分集合を、集合 "A" 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 "A

出典:wikipedia