摘要 : We define relations and their composition in a category with (#epsilon#, M)-factorization structure, with M consisting of monomorphisms, but #epsilon# not restricted to epimorphisms. We obtain an associativity criterion for compos... 展开 We define relations and their composition in a category with (#epsilon#, M)-factorization structure, with M 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. We show that under our assumptions, the categories of relations on functional and induced relations are isomorphic to the category of relations for the given category. 收起