Sub-elements of reloidal products

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords:
Recomm. for undergrads: no
Posted by: porton
on: September 13th, 2012
Conjecture   $ f \sqsubseteq \prod^{\mathsf{\tmop{RLD}}} a \Leftrightarrow \forall i \in \operatorname{arity} f : \Pr^{\mathsf{\tmop{RLD}}}_i f \sqsubseteq a_i $ for every multireloid $ f $ and $ a_i \in \mathfrak{F} \left( \left( \operatorname{form} f \right)_i \right) $ for every $ i \in \operatorname{arity} f $.

See Algebraic General Topology for definitions of used concepts.

Bibliography

*Victor Porton. Algebraic General Topology


* indicates original appearance(s) of problem.