李念最新图片:离散数学代数系统:已知A={x|x∈S∧a*b≤x≤a},B={y|y∈S∧b≤y≤a⊕b},f(y)=y*a,证明 <A, ≤>≡<B, ≤