Fully abstract
Redirect to:
Denotational semantics#Abstraction