Sets

Set Constructions

• Cartesian products
• Families
• Sets
• Disjoint-set data structure
• Disjoint union of enumerated sets
• Enumerated set from iterator
• Finite Enumerated Sets
• Recursively enumerated set
• Maps between finite sets
• Data structures for maps between finite sets
• Totally Ordered Finite Sets

Sets of Numbers

• Integer Range
• Positive Integers
• Non Negative Integers
• The set of prime numbers
• Subsets of the Real Line

Indices and Tables

• Index
• Module Index
• Search Page