fact: Definition term_hSetalgebra (σ: signature): hSetalgebra σ := make_hSetalgebra (has_supportsets_termalgebra σ).
imports: UniMath.Foundations.All UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.Terms