Sets

Set


Axioms


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

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


slide: The ADT Set