Identity in Binary Operation