Example: A ring.
We cannot implement:
- addition
- negation
- multiplication
- inversion
- "zero"
- "one"
- check if zero
We can implement:
- subtraction: a-b = a + (-b)
- exponentiation: an = a ? ... ? a.
- embedding of Z, Q.
- check for equality
- polynomials over this ring
- etc.