Restricting a reloid to lattice Gamma before converting it into a funcoid (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: September 25th, 2014
Solved by: Porton, Victor
Conjecture   $ (\mathsf{FCD}) f = \bigcap^{\mathsf{FCD}} (\Gamma (A ; B) \cap \operatorname{GR} f) $ for every reloid $ f \in \mathsf{RLD} (A ; B) $.

It's used notation from Algebraic General Topology draft book, modified by this note about new notation for a future version of this book.

It's proved by me in this online article.


* blog post

* indicates original appearance(s) of problem.