t :: term
v :: any
add(t, v) :: t
delete(t, v) :: t
difference(t, t) :: t
disjoint?(t, t) :: boolean
intersection(t, t) :: t
subset?(t, t) :: boolean
union(t, t) :: t