ON THE UNIVERSALITY OF THE TRIANGLE SUPERPRODUCT AND THE SQUARE PRODUCT OF RELATIONS

Abstract The paper, together with other theorems, presents the proofs of the following statements. (1) Every preorder is a supenriangle self-inverse product. (2) R□R-1 if and only if R is an equivalence. The supenriangle and the square product (□)appearing in the theorems are special relational compositions that were introduced by Bandler and Kohoul in 1977 and described previously in this journal.