The transitive closure of a binary Relation on a Set is the minimal Transitive relation on that contains . Thus for any elements and of provided that there exist , , ..., with , , and for all .