​{x|x is a ​}
▼
is a subset of
is not a subset of
​{x|x is a ​}