Categories of relations and functional relations

Abstract: "We define relations and their composition in a category with ([Epsilon,Mu])-factorization structure, with [Mu] consisting of monomorphisms, but [Epsilon] not restricted to epimorphisms. We obtain an associativity criterion for composition of relations, and we study functional and induced relations."