The global determinism of a ternary semigroup S is the set of all nonempty subsets of S, denoted by P(S) equipped with the naturally defined multiplication. A class K of ternary semigroups is said to be globally determined if any two members S-1 and S-2 of K with isomorphic globals are themselves isomorphic i.e. P(S-1) congruent to P(S-2) implies that S-1 congruent to S-2 for any two ternary semigroups S-1 and S-2 in the class K. In this paper, we mainly discuss that the class of all ternary semilattices are globally determined.
展开▼