Retrieve Function
Retrieve Function maps the concrete data type onto the abstract one: Ret: seq Person ?P person
In case of sets being modelled as sequences ret ? = ran ?
The Retrieve Function has to be from the concrete data type to the abstract one as many sequences correspond to the same set.