代数系统的引入