# Definition talk:Inverse Completion

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