11.1.3 代数系统的性质