Could you state a reference here?
And please be mathematically a bit more thorough. What are the objects we are dealing with here?
What are we doing? The text is already good, but definitions are also important