Home » Keyword index

reloids


Topology

Restricting a reloid to lattice Gamma before converting it into a funcoid ★★

Author(s): Porton

Conjecture   $ (\mathsf{FCD}) f = \bigcap^{\mathsf{FCD}} (\Gamma (A ; B) \cap \operatorname{GR} f) $ for every reloid $ f \in \mathsf{RLD} (A ; B) $.

Keywords: funcoid corresponding to reloid; funcoids; reloids

Posted by porton
updated September 25th, 2014
add new comment
Topology

Inner reloid through the lattice Gamma ★★

Author(s): Porton

Conjecture   $ (\mathsf{RLD})_{\operatorname{in}} f = \bigcap^{\mathsf{RLD}} \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f $ for every funcoid $ f $.

Counter-example: $ (\mathsf{RLD})_{\operatorname{in}} f \sqsubset \bigcap^{\mathsf{RLD}} \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f $ for the funcoid $ f = (=)|_\mathbb{R} $ is proved in this online article.

Keywords: filters; funcoids; inner reloid; reloids

Posted by porton
updated September 25th, 2014
add new comment
Topology

Domain and image of inner reloid ★★

Author(s): Porton

Conjecture   $ \ensuremath{\operatorname{dom}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{dom}}f $ and $ \ensuremath{\operatorname{im}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{im}}f $ for every funcoid $ f $.

Keywords: domain; funcoids; image; reloids

Posted by porton
updated December 2nd, 2010
add new comment
Syndicate content