Closure property, data abstraction