A note on definability in equational logic
definability of an \(n\)-ary functional constant
scientific article; zbMATH DE number 683193