zero

SetMonoid