Separation of O_n from its proper subsemigroups by a single identity.

From MaRDI portal
Publication:896241