Abstraction function

Representation invariant


slide: Abstraction function and representation invariant