Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential, and parallel composition, as well as finite and infinite iteration. Starting from a set-theoretic investigation, we propose axiom systems for multirelations in contexts ranging from bi-monoids to bi-quantales.
No takes yet. Share an insight, caveat, or question.
Furusawa et al. (2016) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: