added more methods to EquivaleceClasses and added missing Partial Surjection Expression