自反性
reflexivity
自反性[reflex州ty:pe如e砍”BH0cT“」 二元关系的一个性质.集合A上的二元关系(场- nary relation)R是自反的(re份xive),如果对所有的 a‘A有aRa.自反关系的例子有相等关系,等价关 系,序关系.T.c.中呻aHoBa撰赵希顺译 可驳公式[re加妞b.forlnl山;onponep狱”Ma,加pMy- ,],形式可驳公式(formally refutahlefo功叫da),在 给定公式系统中 其否定可以在给定系统中推导出的闭公式. B .H.fpH山班n撰 【补注】给定逻辑系统中的闭公式A是形式可判定的 (由c翻巨b比)(见可判定公式(de‘dable ror丽a3,’茹 果A是可证的或可驳的.
在逻辑学和数学中,集合 X 上的二元关系 R 是自反的,若所有 a 属于 X,a 关系到其自身.
数学上表示为： forall a in X, a R a
例如："大于等于"是种自反关系,但"大于"不是自反关系.
自反关系举例：
"等于"（等于）
"是……的子集"（集合的包含）
"小于等于"和"大于等于"（不等）
"除"（整除）
满足传递性的自反关系称为预序关系.满足反对称性的预序关系称为偏序关系.满足对称性的预序关系称为等价关系.
forall a in X, a = a
在一些系统中称为相等公理.