Just today I’ve got the idea of the below conjecture:
Definition I call funcoidal such reloid that
for every ,
.
Easy to prove proposition:
Proposition A reloid is funcoidal iff
for every ultrafilters
and
on respective sets.
Conjecture is a bijection from
to the set of funcoidal reloids from
to
.