Crate zfc

zfc

zfc is a library for sets according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).

Structs

• BoundedCardinality
  Contains a lower and upper bound Cardinality used to bound the cardinality of a Set.
• BoundedErr
  Error returned when attempting to create a BoundedCardinality from a pair of BigUints or Cardinalitys such that the upper bound is strictly less than the lower bound.
• CardinalityErr
  Error returned when attempting to create a Cardinality from a BoundedCardinality such that the lower bound is less than the upper bound.

Enums

• Cardinality
  Represents the quantity of elements in a Set.

Traits

• Set
  Represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC). Note that elements in a Set must not be distinguishable by order or frequency, so care must be taken in its implementation if the implementing type exposes an API that distinguishes between the order or frequency of Elem (e.g., Vec<T> where Elem = T).