Summary

###########################################################################

	File:     sets.icn

	Subject:  Procedures for set manipulation

	Author:   Alan Beale

	Date:     August 7, 1999

###########################################################################

   This file is in the public domain.

###########################################################################

	Contributor:  Ralph E. Griswold

###########################################################################

	cset2set(c)	returns a set that contains the individual
			characters in cset c.

	domain(T)	returns the domain of the function defined by the
			table T.

	inverse(T, x)	returns the inverse of the function defined by the
			table T.  If x is null, it's the functional inverse.
			If x is an empty list, it's the relational inverse.
			If x is an empty set, it the relational inverse, but
			with each table member as a set instead of a list.

	pairset(T)	converts the table T to an equivalent set of ordered
			pairs.

	range(T)	returns the range of the function defined by the
			table T.
  
	seteq(S1, S2)	tests equivalence of sets S1 and S2.

	setlt(S1, S2)	tests strict inclusion of S1 in S2.

       setle(S1, S2)   tests non-strict inclusion of S1 in S2

	simage(S)	string image of set

###########################################################################

This file is part of the (main) package.

cset2set(cs)

: set of characters

domain(T)

: domain of table

inverse(T, Default)

: inverse of table function

pairset(T)

: set of table pairs

range(T)

: range of table

seteq(set1, set2)

: set equivalence

setle(set1, set2)

: S1 is a subset of S2

setlt(set1, set2)

: S1 is a proper subset of S2

simage(set)

: string image of set