集合 $A$ 以及其上的运算 $f_1, f_2, \cdots, f_k$ 所组成代数系统 $<A, f_1, f_2, \cdots, f_k>$ 。
代数常数：幺元、零元，有时候也把幺元和零元放在记号里面。
如 $<{\mathbb R}, +, \cdot, 0, 1>$ 。
若代数系统中有对所有运算封闭的子集 $B \subseteq S, \ \ B \neq \emptyset$ ，若显式写出代数常数还需要代数常数相同，则称为子代数系统（子代数）。
如， $<{\mathbb Z}, +>$ 是 $<{\mathbb R}, +>$ 的子代数。
平凡子代数：最大子代数是本身，最小子代数可能不存在，如果有肯定是仅含幺元的元素。
$<\{0\}, +>$ 是 $<\mathbb{R}, +>$ 的最小子代数。（？）
意义仅仅是把两个代数系统绑到一起。
性质的迁移：
