泛代数是代数学的一个分支学科。泛代数是在群、环、域、格等代数系统研究的基础上进一步抽象得以发展起来的一般代数系统。一个泛代数U是一个二元组〈A,F〉,其中A是一个非空集合,称A为U的全域(universe)或支集(underlying set),F是定义于A上的运算集合(F可能是有限集,也可能是无限集)。对于泛代数可以仿照群、环、域中的方式定义子代数、同态、同构概念等。子代数格(subalgebra lattice)是泛代数的一个概念。一个泛代数的所有子代数构成的格称为它的子代数格。子代数格(subalgebra lattice)是泛代数的一个概念。一个泛代数l是一个二元组<A,F>,其中A是一个非空集合,称A为l的全域(universe)或支集(underlying set),F是定义于A上的运算集合(F可能是有限集),一个泛代数的所有子代数构成的格称为它的子代数格。