“…Definition 2.3. A pair (S, η) of a nonempty set S and a ternary operation η : S × S × S → S is called a homogeneous pre-system [13], iff the ternary operation η satisfies: for any x, y, u, v, w ∈ S, η(x, y, x) = y; η(x, y, η(u, v, w)) = η(η(x, y, u), η(x, y, v), η(x, y, w)).…”