Taras Banakh – A semigroup is finite if and only if it contains no infinite chains and no infinite antichains

Ivan Franko National University of Lviv

A subset of a semigroup is called a chain (resp. antichain) if for any (distinct) elements the product does (not) belong to . We prove that a semigroup is finite if and only if contains no infinite chains and no infinite antichains.