离散数学代数结构的封闭性定义?请形象说明一下。不要像课文那样抽象。