Definition:Identity of Group