结构

在一个数学对象的（非空）基本集A上，定义一系列的关系Rn，这些关系满足一定的性质（或称公理），则这样一组基本集和关系集称为一个结构。当具体的某一基本集和来自关系集满足一个（数学）结构中的公理时，此基本集和关系集组称为具有该（数学）结构的一个数学体系。