. Let (A, -) be an abstract reduction system. Prove that the joinability relation is transitive if and only if is confluent. . Let (A, -) be an abstract reduction system. Prove that the joinability relation is transitive if and only if is confluent