| 1. | Defines a type UGroup composed of all finite sets of UserId values.
 
  | 
 | 2. | The function is zero everywhere, except on a finite set of points.
 
  | 
 | 3. | A finite set has a smaller cardinality than an infinite set, right?
 
  | 
 | 4. | Assume we have an infinite loop involving a finite set of cells.
 
  | 
 | 5. | This leads to a simpler description of topologies on a finite set.
 
  | 
 | 6. | However, no finite set of bases is sufficient for all composite numbers.
 
  | 
 | 7. | Let I be a finite set, representing a collection of people.
 
  | 
 | 8. | Informally, a finite domain is a finite set of arbitrary elements.
 
  | 
 | 9. | Maximal sets have many interesting properties : they are modulo finite sets ).
 
  | 
 | 10. | It follows that every finite set has both a sup and an inf.
 
  |