Good answers. Just a small comment: quantum entropy is a generalization of classical entropy. In particular, if A and B are classically correlated, then S(A|B) has all the properties of a classical entropy (Shannon's, in this case), for instance, it is non-negative.