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
• Subsets of a Universe Defined by Predicates
• Maps between finite sets
• Data structures for maps between finite sets
• Totally Ordered Finite Sets
• Set of all objects of a given Python class

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