B является подмножеством a