Correlation types define a set of properties on which you will be correlating messages.
These can be any properties which were previously defined in a property schema and deployed with some BizTalk Project including "SYSTEM" properties deployed with the GlobalPropertySchemas which is installed as part of the base BizTalk install.
A correlation set defines a set of properties and values for these properties that a MESSAGEMUST contain to be processed by a particular ORCHESTRATION.