append
collapse
cons
constrict
countable%cover
drop
embeds
equinumerous
f-seq?
finite%cover
finite-cardinality
finite-indicator?
finite-sort?
first
group
i-big-intersection
i-big-union
i-complement
i-cross-product
i-difference
i-disjoint
i-empty-indicator
i-empty-indicator?
i-in
i-intersection
i-nonempty-indicator?
i-partition?
i-singleton
i-subset
i-subseteq
i-sym-difference
i-union
in_seq
invariant
length
m-bijective-on?
m-bijective?
m-composition
m-domain
m-id
m-image
m-injective-on?
m-injective?
m-inverse
m-inverse-image
m-range
m-restrict
m-restrict2
m-surjective-on?
m-surjective?
nil
pair
pair?
predicate-to-indicator
second
sort-to-indicator
takefirst