Pozitive mapping from semigroup into anti-ordered set

Abstract

We introduce a definition of positive mapping from semigroup with apartness into
anti-ordered set and describe a connection between this notion and positive quasi-antiorder.