Családos reláció?

Az inverznek pontosan ugyanúgy kell viselkednie, mint az eredeti relációnak felcserélt változókkal. Tehát:

a^-1 = {(x,y) e E2: y az x gyermeke}

A kompozíció definíciója:

AB = {(x,z) ahol létezik y melyre (x,y) e A és (y,z) e B}.

Így ha végiggondolod, akkor:

ab = {(x,y) ha x nagyapja y}

ba = {(x,y) ha x apai nagyapja y}

Bocsánat, a másodikat elrontottam!

ba = {(x,y) ha x apai nagyszülője y}