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 .