Sets

Set

• $G_{Set_{A} = { \emptyset, add }$
• $GU_{Set_{A} }$ $ = $ ${ 0, add(0,a), ..., add(add(0,a),a), ... }$

  [S1] $add(add(s,x),y) = add(add(s,y),x)$ 
 commutativity
  [S2] $add(add(s,x),x) = add(s,x)$ 
 idempotence