This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
S(T) by where (x, y) eT" if and only if (x, y) eT and x9y eY. It is sufficient to establish that (TU) = 0(T)0(U) and hence that 0 is a homomorphism and a surjection. Let (x, y) G 0(TU). Then there exists z e X such that (x, z) eT and (z, y) e [7. But because Y is a receiver subset, it follows that z e Y and so that (xy y) e 0(T)0(U). Conversely, it is readily shown that (x, y) e 0(T)0(17) implies (x, y) e