. . "For C, if one set of premises B is a subset of another such set A (i.e B subset A subset L), then deductions from B form a subset of those deductions from A (i.e. C(B) subset C(A))." . .