In mathematics, the transitive closure R⁺ of a homogeneous binary relation R on a set X is the smallest relation on X that contains R and is transitive. Wikipedia