出典:Wikipedia
出典:『Wikipedia』 (2010/02/02 05:45 UTC 版)
In mathematics, demonic composition is an operation on binary relations which is somewhat comparable to ordinary composition of relations but is robust to refinement of the relations into (partial) functions or injective relations.