Как проверить, является ли одно множество подмножеством другого?