SetExamples

I have done all the programs and attached the Theory File as well for Set.