[科普中国]-连通关系

连通关系(connected relation)亦称弱连通关系、严格可比关系，是一种特殊的关系。在类K中，对于一个关系R来说，如果类K中任意两个不同的个体x，y，至少使二公式：xRy，yRx中有一个为真，则称关系R在类K中是连通的关系。例如，在实数域中大于关系、小于关系就都是连通的关系1。

基本介绍连通关系是指任意两个不同的事物之间，与其反关系总有一个成立的那种关系。集合A上的二元关系R，对任何a，b∈A，a≠b有aRb或bRa，用符号表示：R是A上的连通关系∀a∀b(a∈A∧b∈A∧a≠b→aRb∨bRa)。当R是A上的连通关系时，称R在A上是连通的，或称A上的关系R有连通性。

例如，实数集上的小于关系“