1\label{theorems} 2 3The sections that follow list all theorems in the \ml{pred\_sets} library, 4including definitions. The theorems are grouped into sections according to 5subject matter. Some theorems could be classified under more than one subject, 6but each theorem is listed in only one section. The reader may therefore have 7to consult more than one section when searching for any particular theorem. 8 9When the \ml{pred\_sets} library is loaded, all the theorems listed in this 10chapter (including definitions) are set up to autoload when their names are 11mentioned in \ML. 12 13