第5.2节 代数系统