泛代数族

universal algebraic family