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