Change of terminology

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”.

See my research monograph.