"Algebraic General Topology" (or the theory of funcoids, reloids, and generalizations thereof) is a new field of math (subfield of General Topology) discovered by Victor Porton.
Victor Porton's research results (including full LaTeX source) are freely available at this page. (Please read the Victor Porton's book before attempting to participate in this research.)
Note that (because of font restrictions) at this Wikia page joins and meets on lattices are denoted as $ \bigvee $ and $ \bigwedge $. Binary joins and meets are however denote (the same as in the Victor Porton's book) $ \sqcup $ and $ \sqcap $.
See this page for a list of Algebraic General Topology topics present at this site.