November 2016 – Math Research of Victor Porton

I have described generalized cofinite filters (including the “cofinite funcoid”). See the draft at http://www.mathematics21.org/binaries/addons.pdf

A new diagram about funcoids and reloids

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

The following is one of a few (possibly non-equivalent) definitions of products of funcoids: Definition Let be an indexed family

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