Defines Type SET OF CHAR and its operations    
Koen Desaeger, koend@NET4ALL.BE