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