![](/files/happy5.png)
composition of funcoids
Entourages of a composition of funcoids ★★
Author(s): Porton
Conjecture
for every composable funcoids
and
.
![$ \forall H \in \operatorname{up} (g \circ f) \exists F \in \operatorname{up} f, G \in \operatorname{up} g : H \sqsupseteq G \circ F $](/files/tex/145d32f0a6448ea3d98f9b091370160956ba4532.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
Keywords: composition of funcoids; funcoids
![Syndicate content Syndicate content](/misc/feed.png)
Author(s): Porton
Keywords: composition of funcoids; funcoids