《离散数学》代数系统的一般性质-2