I am having some troubles in distinguishing, from a theoretical point of view, between contract curve and Pareto set.
I have looked around books and internet, and I have found that contract curve should be a subset of Pareto set, i.e. the locus of Pareto efficient allocations that can occur as a result of mutually beneficial trading between agents.
Am I right or there is something I did not understand properly? Someone can give me a formal definition of the two objects (if there is some differences)?