Let * be any binary operation on a set A. An element a' ϵ A is called an inverse of a ϵ A for the binary operation *, if