Множество a является подмножеством множества b