Funcoidal groups and a curious theorem

I started to work on funcoidal groups (a generalization of topological groups). I defined it and promptly found a curious theorem. Not sure if this theorem has use for anything. See the definition and the “curious” proposition in this draft. Note that I work on another projects and may be not very active in researching […]