[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ADT Sets?



Michael Griebling <mgriebling@inspired.to> wrote:
> 
> > The function "Different" is _not_ equivalent to "~Equal":
> > Different(a,b)=TRUE iff a*b={}.  Does anyone have a better name for
> > this?
> >
> 
> This is a common operation with sets where it is called an empty
> intersection.Suggested name: IntersectionEmpty().
> 

What about Disjoint() or IsDisjoint()?  (It's been a while, but isn't
that the mathematical term for sets having no elements in common, i.e.,
"empty intersection"?)



Eric