What set or relation does y,x belong to?
What set or thing does w belong to?
What set or thing does z belong to?
I have a hard time keeping track what set w,z,y are members of, are part of whose domain and codomain. What are all the codomains and domains here?
How do we formally define using set builder notation R,S, and T?
Best Answer
In general if $R\subseteq A\times B$ and $S\subseteq B\times C$ then: $$S\circ R:=\{\langle a,c\rangle\mid\exists b\in B[\langle a,b\rangle\in R\wedge\langle b,c\rangle\in S\}\subseteq A\times C$$
So starting with relations $R\subseteq A\times B$, $S\subseteq B\times C$ and $T\subseteq C\times D$ we have $S\circ R\subseteq A\times C$ and $T\circ S\subseteq B\times C$.
Continuing this we find that $T\circ(S\circ R)$ and $(T\circ S)\circ R$ are both subsets of $A\times D$ that satisfy: $$T\circ(S\circ R)=(T\circ S)\circ R$$