等量公理
等量公理（axioms of equality）是代數中的多個公理，其建立于：“相等”具有自反性（reflexivity）、对称性（对称性）、传递性（transitivity）；等量公理可用於解方程式。严格来说，等量公理并非真正的公理，因为它们可从更基本的公理，特别是莱布尼茨定律推导出来。 描述 a, b, c三數，若得a = b，則： a + c = b + c a - c = b - c ac = bc \frac{a}{c} = …
标签：#數學關係
共 2 篇文章
拟序关系
定义 拟序关系（quasi-order），有时我们也称为预序关系（preorder）。 设R是集合A上的二元关系，若R满足条件： 反自反性：对于R中任意的元a，不成立a \langleA，\rangle为拟序集合。 拟序的性质： （1）设R是集合A上的拟序关系，则R是反对称的。 （2）若R是A上的拟序关系，则 r(R)=r \bigcup I I_A是偏序关系。（拟序关系与自反关系的并集称为偏序关系。） （3）若R是A上的偏序关系，则 …