Definition:Identity Element of Group