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