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…

read moreI added to my online research book the following theorem: Theorem Let $latex \mathfrak{A}$ be a distributive lattice with least element. Let $latex a,b\in\mathfrak{A}$. If $latex a\setminus b$ exists, then $latex a\setminus^* b$ also exists and $latex a\setminus^* b=a\setminus b$. The user…

read more