Definition:Two-Sided Identity