Funcoids were first named and studied by Victor Porton, an independent researcher, as an approach to general topology, in particular as a massive generalisation of proximity spaces, pretopological spaces, etc. – somewhat along the same lines described at syntopogenous space where nearness notions are taken to be primitive.
Then a funcoid from to consists of functions and such that
That is, for every filter on and every filter on , the filter (on ) generated by the union of and is not the entire power set iff the filter (on ) generated by the union of and is not the entire power set .
The above formulation is due to Victor Porton. A slight reformulation is that funcoids can be seen as morphisms between certain types of Chu spaces. Todd Trimble has written some notes on funcoids from this point of view here, where they are also shown to be equivalent to topogenous relations provided that the reflexivity condition of the latter is dropped (which is reasonable from an abstract perspective). The category of endofuncoids and continuous functions, and the full subcategory of reflexive endofuncoids, are each topological over .