grupoid term; equation
We investigate the factor of the groupoid of terms through the largest congruence with a given set among its blocks. The set is supposed to be closed for overterms.
 J. Ježek: Varieties of algebras with equationally definable zeros
. Czechoslovak Math. J. 27(102) (1977), 394–414. MR 0453610
 R. McKenzie, G. McNulty and W. Taylor: Algebras, Lattices, Varieties. Volume I
. Wadsworth & Brooks/Cole, Monterey, CA, 1987. MR 0883644
 O. Sapir: Identities of finitely based semigroups and related questions. Dissertation, University of Nebraska, Lincoln, Nebraska, 1997.