为一个分配格,为格所诱导的代数系统,∧表示最大下界运算,∨表示最小上界运算,对于任意的a,b,c∈A,如果有a∧b=a∧c和a∨b=a∨c成立,则必有(   )
A a=c
B b=c 
C a=b
D a=b=c