西安电子科技大学$3.6.5格软件学院家家（8）等幂律*：aa=aa*a-a（9）吸收律*：a*(a甲b)=aa甲(a *b)=d(10)a≤ba*b-aab=b(11)a≤bdca*≤b*casbcasbc（12）保序性：b≤c→a*b≤a*cbc→absac(13）分配不等式：a*(b④c)≥(a*b)(a*c)a甲(b*c)≤(a甲b) *(a甲c)(14）模不等式：ac台a④(b*c)≤(a甲b)*c西安电子科技大学 §3.6.5 格 软件学院