Date: Mar 23, 2013 10:08 PM
Author: Nicolas Manoogian
Subject: Transitive Closure Proof

I'm trying to prove the transitive closure of the set described in the attached document.
I know that I'm supposed to be using the standard 3 step closure form for the proof, but I can't seem to determine the proof.

Any help would be much appreciated!