I realized that the terms “discrete funcoid” and “discrete reloid” conflict with conventional usage of “discrete topology” and “discrete uniformity”.
Thus I have renamed them into “principal funcoid” and “principal reloid”.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I realized that the terms “discrete funcoid” and “discrete reloid” conflict with conventional usage of “discrete topology” and “discrete uniformity”.
Thus I have renamed them into “principal funcoid” and “principal reloid”.