non strict superset