The equivalence of (a) and (b) is trivially implied by the definition of M.
The desired inequality holds trivially whenever A>0.
The estimate is trivially true if A=B.