Composition of Relations

Below are visualizations of the composition of two relations. Here
\(S=\{(x,y)\ |\ x^2+y^2\leq 1\}\)
and
\(T=\{(x,y)\ |\ y=x^2\}\)

S first, then T:

T first, then S:

<script type="text/javascript" src="http://www.wolfram.com/cdf-player/plugin/v2.1/cdfplugin.js"></script> <script type="text/javascript"> var cdf = new cdfplugin(); cdf.embed('http://helmut.knaust.info/class/201320_3325/qf.cdf', 439, 408); </script>