同餘關係
在数学特别是抽象代数中，同餘关系或简称同餘是相容于某个代数运算的等价关系。 模算术 元型例子是模算术：对于一个正整数n，如果a − b整除于n（还有一个等价的条件是它们除以n得出同样的餘数），则两个整数a和b被称为*同餘模n*。 例如，5和11同餘模3： :11 ≡ 5 (mod 3) 因为11 − 5得出6，它整除于3。或者等价的说，这两个数除以3得到相同的餘数： :11 = 3×3 + 2 :5 = 1×3 + 2 如果a_1 \e…
标签：#二元关系
共 3 篇文章
自反关系
自反關係（）是在邏輯學和數學中一種特殊的二元關係，這樣的二元關係被稱作自反的，或具有自反性。一個集合X上的二元關係R，若滿足(\forall x \in X)(xRx)，則為自反關係。 定義 以下是與“自反”有關的定義。給定一個集合X上的二元關係R，稱其具有： 自反性（）， :若任取X的一個元素x，滿足有序對(x, x) \in R，即(\forall x \in X)(xRx)。 非自反性（）， :若存在X的一個元素x，滿足有序對(x…
相容关系
在泛代数和格理论中，相容关系（）是指被代数结构的每个运算所保持的自反对称关系。是同余关系去掉传递性的要求而得到的概念。 具体内容参考：左孝凌离散数学，石纯一数理逻辑与集合论，对“相容关系与覆盖”的再认识。注意，左孝凌和再认识一文对完全覆盖的定义是不同的，左文定义的完全覆盖和相容关系是一一对应的，而再认识一文定义的完全覆盖和相容关系不是一一对应的。 定义 代数结构(A,F)上的相容关系通常定义为与(A,F)的所有运算都兼容的自反对称关系，…