抽象代数基本概念（一）：代数系