импликативная полурешетка

Мат. implicative semilattice