A Semigroup Is Finite Iff It Is Chain-Finite and Antichain-Finite. - Iryna Banakh; Taras O. Banakh; Serhii Bardyla (Axioms, 2021)