I updated the online draft of the article “Funcoids and Reloids”. The main feature of this update is that I qualified lattice theoretic operations and direct products of filters with indexes indicating that these are used over the sets of funcoids and reloids. That change should make the article easier to read. But (in a not so distant future) I should also rewrite the article so that it will be explicit and clear when the lattice operations applied to binary relations should be equal to the corresponding operations applied to funcoids or reloids. (Don’t mind if you cannot fully understand this paragraph, it is an unimportant diary entry.)
As such the current draft is a readable article, however some proofs may be yet a little unclear.