Además la clausura transitiva que denotaremos aquí mediante formula_11 admite una caracterización muy sencilla: