离散数学中:=是什么意思貌似在书上看到过,可是就是找不到了.