Space998@hotmail.com wrote: > what is the relation between funcoid & reload > >> http://nlab.mathforge.org/nlab/show/funcoid > Reloid is basically just a filter on a Cartesian product of two sets.

To every reloid f corresponds the funcoids (FCD)f and to every funcoid f correspond reloids (RLD)_{in}f and (RLD)_{out}f.

(FCD) and (RLD)_{in} form a Galois connection (in fact, Galois insertion) between reloids and funcoids.

See chapter 8 "Relationships between funcoids and reloids" in my book: