Conjecture If then
for every funcoid
and atomic f.o.
and
on the source and destination of
correspondingly.
A stronger conjecture:
Conjecture If then
for every funcoid
and
,
.
Solution of these conjectures (specifically the first one) may help to prove other conjectures.
One comment