二項関係

数学における二項関係とは、素朴には2つの数学的対象の間の関係のこと。

数学においては、2つの数学的対象の間にある種の関係が成立する、成立しないという議論が多用される。例えば「数として等しい」という関係や合同関係、順序関係などがそうである。