The inverse law states that for some binary operator *
, for all
values a
, the following must hold:
The inverse law states that for some binary operator *
, for all
values a
, the following must hold:
a * a === identity
The set of all laws that instances of Inverse
must satisfy.
The set of all laws that instances of Inverse
must satisfy.