几个常用的单词

antisymmetric:

反对称antisymmetric. (a,b)∈R ∧ (b,a)∈R Þ a=b. 3．传递Transitive. (a,b)∈R ∧ (b,c)∈R Þ (a,c)∈R. 大于等于，小于等于，恒等，整除关系都是偏序关系。 ...

transitive:

递移 (传递性）（Transitive）的性质存在，亦即B=f（A)，C = g（B ）则C =h（A）。

This means for operator <: If x < y is true and y < z is true, then x < z is true.

This means for a predicate op(): If op(x,y) is true and op (y,z) is true, then o

它的反义词：intransitive (非传递性)

 

irreflexive

非自反的

如果没有任何个体可以将关系应用于自身，即/"x~R(x, x)，则称关系R为非自反的（ irreflexive）。 在日常语言中，“一样大”、“一样高”、“同样的”、“相等”都是自反关系