二項関係は-項関係(各-番目の成分が関係の-番目の始集合からとられているような-組からなる集合)でとした特別の場合である。