- Definition
- References
In mathematics, demonic composition is an operation on binary relations that is somewhat comparable to ordinary composition of relations but is robust to refinement of the relations into (partial) functions or injective relations.
Unlike ordinary composition of relations, demonic composition is not associative.
Definition
Suppose R is a binary relation between X and Y and S is a relation between Y and Z. Their right demonic composition R ;→ S is a relation between X and Z. Its graph is defined as
Conversely, their left demonic composition R ;← S is defined by
References
- {{citation
| last1 = Backhouse | first1 = Roland
| last2 = van der Woude | first2 = Jaap
| doi = 10.1017/S096012950000030X
| issue = 4
| journal = Mathematical Structures in Computer Science
| mr = 1249420
| pages = 417–433
| title = Demonic operators and monotype factors
| volume = 3
| year = 1993| citeseerx = 10.1.1.40.9602
1 : Mathematical relations
- Ernst von Siemens Foundation
- Ernst von Siemens Music Prize
- Ernst von Siemens Musikpreis
- Ernst Von Siemens Musikpreis
- Ernst von Stackelberg
- Ernst von Steinberg
- Ernst von Stern
- Ernst von Vegesack
- Ernst Von Vegesack
- Ernst von Weisacker
- Ernst von Weizsaecker
- Ernst Voß
- Ernst Wachler
- Ernst Wagner
- Ernst Wallfisch
- Ernstweber
- Ernst Weber (disambiguation)
- Ernst Weber (engineer)
- Ernst Weiner
- Ernst Weiss
- Ernst Weiß
- Ernst Wellmann
- Ernst Werner Techow
- Ernst Wertheim
- Ernst Wetterstrand