fact: Definition has_supportsets_termalgebra (σ: signature): has_supportsets (term_algebra σ) := λ (s: sorts σ), isasetterm s.
imports: UniMath.Foundations.All UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.Terms