Definition talk:Inverse Completion

There was a question asked: "Don't we need that $\left({T, \circ'}\right)$ has an identity"?

Yes it does, but this will become apparent during the course of the development of the theory. --prime mover (talk) 19:02, 1 May 2015 (UTC)