Para responder a essa questão considere o conjunto A= {1, 2, 3, 4, 5, 6} e a relação r = {〈1, 2〉; 〈2, 3〉; 〈1, 5〉; 〈4, 2〉; 〈3, 6〉} em A.
O fecho transitivo da relação r é dado por s = {〈1, 2〉; 〈2, 3〉; 〈1, 5〉; 〈4, 2〉; 〈3, 6〉} ∪ {〈1, 3〉; 〈2, 6〉; 〈1, 6〉; 〈4, 3〉; 〈4, 6〉}.