Relationer och transitivt hölje

Låt A = {1,2,3,4} och definiera relationen R på A som R= {(1;2),(2;3),(2;4),(3;1),(3;4)}
Beräkna R^+,dvs.det transitiva höljet av R

HUR gör man och varför????

Det transitiva höljet är den minsta transitiva relation som innehåller R. För en transitiv relation P gäller följande:

(a,b)∈P och (b,c)∈P ⇒ (a,c)∈P.

Definiera R^+=R∪M, där M kan tolkas som en "utvidgning" av R för att få det transitiva höljet R^+. Finn M och räkna ut unionen så är du klar. Till exempel så (1,3)∈M eftersom (1,2),(2,3)∈R men (1,3)∉R