I am now developing a theory of generalization of funcoids, n-ary (multi)funcoids (where n is a set).
Previously I was going to make first theory of finitary multifuncoids that is the case when n is finite, because there were some complexities with proving some important theorems about infinitary funcoids.
Today I managed to prove it in my drafts using transfinite recursion and transfinite induction. So I think I may treat the general infinite case immediately without first writing about the special finite case.
Congratulations to myself. I hope to write an article about n-ary funcoids soon. Be subscribed to this blog.