Three-variable equations of posets
We find an independent base for three-variable equations of posets.
We find an independent base for three-variable equations of posets.
To everz partiallz ordered set a certain groupoid is assigned. A tolerance on it is defined similarlz as a congruence, onlz the requirement of transitivitz is omitted. Some theorems concerning these tolerances are proved.