Conjecture The following are equivalent (for every lattice of funcoids between some sets and a set of principal funcoids (=binary relations)):
- (for every natural ).
- There exists a funcoid such that .
and are obvious.
I welcome you to actively participate in the research!
Please write your comments and idea both in the wiki and as comments and trackbacks to this blog post.