On the Positive Calculus of Relations With Transitive Closure