“…In [31], an ordered AG-groupoid S, is a partially ordered set, at the same time an AGgroupoid such that a ≤ b, implies ac ≤ bc and ca ≤ cb for all a, b, c ∈ S. Two conditions are equivalent to the one condition (ca)d ≤ (cb)d, for all a, b, c, d ∈ S. An ordered AG-groupoid is also called a po-AG-groupoid for short. Then (S, •, ≤) is an ordered AG-groupoid with left identity e.…”