結構

在一個數學對象的（非空）基本集A上，定義一系列的關係Rn，這些關係滿足一定的性質（或稱公理），則這樣一組基本集和關係集稱為一個結構。當具體的某一基本集和關係集滿足一個（數學）結構中的公理時，此基本集和關係集組稱為具有該（數學）結構的一個數學體系。所有這樣的數學體系稱為該結構的數學模型。