Just trying to make sure that my understanding of the set relations below is correct 

T1 = {x $\in$ $\Delta$ | for every *y*, (x,y) $\in$ R implies y $\in$ C}  

T2 = {x $\in$ $\Delta$ | there exists *y*, (x,y) $\in$ R and y $\in$ C}

$\Delta$ = {a, b, c, d, e, f, g}  

R = {(a,b), (c,b), (d,e)}  

C = {b, e}

T1 = {e}  

T2 = {a, c, e}

Or is this wrong?