List of all members.
We can see a NumericalSemiring as a semigroup with +.
It is an arbitrary decision, it could be mul_kind too.