## Expand description

## §`zfc`

`zfc`

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

## Structs§

- Contains a lower and upper bound
`Cardinality`

used to bound the cardinality of a`Set`

. - Error returned when attempting to create a
`BoundedCardinality`

from a pair of`BigUint`

s or`Cardinality`

s such that the upper bound is strictly less than the lower bound. - Error returned when attempting to create a
`Cardinality`

from a`BoundedCardinality`

such that the lower bound is less than the upper bound.

## Enums§

- Represents the quantity of elements in a
`Set`

.

## Traits§

- 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`

).