A new theorem proved

Definition A set of binary relations is a base of a funcoid when all elements of are above and .

I made an error in a proof

I’ve proved the following (for every funcoids and ): Statement or equivalently: If then there exists , such that .

I proved a conjecture

After prayer in tongues and going down anointment of Holy Spirit I proved this conjecture about funcoids. The proof is

New conjecture: Conjecture for all funcoids , (with corresponding sources and destinations). Looks trivial? But how to (dis)prove it?

Attempt to generalize filter bases for more general filtrators

In this draft I present some definitions and conjectures on how to generalize filter bases for more general filtrators (such

An informal open problem in mathematics

Characterize the set . (This seems a difficult problem.)

A new diagram about funcoids and reloids

Define for posets with order : ; . Note that the above is a generalization of monotone Galois connections (with

A different definition of product of funcoids

Definition for an indexed family of funcoids and atomic reloids and of suitable form. Here means that is a finite