Identity of Binary Operations