Abstract

We introduce the notion of ideals in implicative semigroups, and then state the characterizations of the ideals.