A Relation R : A → A → Ω : 𝑅 → 𝐴 𝐴 → Ω R:A\to A\to\Omega is cotransitive if for all x , y , z : A : 𝑥 𝑦 𝑧 𝐴 x,y,z:A , R(x,z)⇒R(x,y)∨R(y,z)⇒𝑅𝑥𝑧𝑅𝑥𝑦𝑅𝑦𝑧R(x,z)\Rightarrow R(x,y)\lor R(y,z) .
R(x,z)⇒R(x,y)∨R(y,z)⇒𝑅𝑥𝑧𝑅𝑥𝑦𝑅𝑦𝑧R(x,z)\Rightarrow R(x,y)\lor R(y,z)