• 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