西安电子科技大学$3.6.5格软件学院格满足以下基本性质：（1）自反性：asa（2）反对称性：(ab) (b≤a)a=b（3）传递性：(asb) A(b≤c)ac(4) a*b≤aa*b≤bb≤abasab(5) (c≤a)A(c≤b)→c≤(a*b)(a)(=)a=c（6）交换律*：a*b=b*aa田b=b田a（7）结合律*：(a田b)田c=a田(b田c)(a*b) *C=a*(b *c)西安电子科技大学 §3.6.5 格 软件学院 格满足以下基本性质：