Операция в нек-ром классе универсальных алгебр, сопоставляющая заданной совокупности алгебр из этого класса в нек-ром смысле "самую свободную" алгебру этого же класса, содержащую подалгебры, изоморфные заданным, и порождаемую ими. Термин в настоящее время вытеснен термином свободное произведение. О. А. Иванова.