It's a matter of logic: does A contain all the elements inside B?
This can be seen as for each element in B, does this element belong to A too?
You can understand that the condition is true, since B is empty, there is no element to check: for each element in B, so for no element.