Equivalence classes
$ GU_{ Set _{A} }/= $
${ \emptyset }$
${ add(0,a), add(add(0,a),a), ... }$
$...$
${ add(add(0,a),b), add(add(0,b),a), ... }$
slide
:
Equivalence classes for
Set
