A note on models of identities
A. K. Austin · Proceedings of the American Mathematical Society · 1965
Lemma.Suppose that S is a semigroup with (two-sided) identity 1 and suppose there is an element ß in S with /3=^/32 ?= 1. Assume, furthermore, that F is a family of maps (from S into S) which is closed under