Victor Porton's Math Weblog

Funcoids and Reloids, the main article of Algebraic General Topology, is updated.

[More:]

The main change is that the conjecture about intersecting of a set of direct product of filters is proved (it is the theorem 89 in the current version of the article).

Also changed wording: Now I correctly use complete instead of full (as in complete lattice, complete homomorphism).