Abstract Data Types

-- representation function   
  • α(ξ)( α(φ)) = α(φ′) \desdak ξ(φ) = φ′

slide: Abstraction