Of course, what I called a relation was really a span, but its image is the relation I had in mind. It makes me realize that spans are much easier to think about than relations because there is no existential quantifier involved. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]