《离散数学课件》二元运算基本概念和性质