transitive closure noun2 •The smallest binary relation on X that includes R and is transitive. •The smallest transitive set that contains X. formstransitive closures
