I have found a surprisingly easy proof of this conjecture which I proposed yesterday. Theorem Let be a set of
Continue readingMonth: March 2017
Conjecture about funcoids
Conjecture Let be a set of binary relations. If for every we have then there exists a funcoid such that
Continue readingA base of a funcoid which is not a filter base
The converse of this theorem does not hold. Counterexample: Take . We know that is not a filter base. But
Continue readingA new theorem proved
Definition A set of binary relations is a base of a funcoid when all elements of are above and .
Continue reading