[1] 部分集合からみて元の集合のことを、超集合 (superset) (スーパーセット) といいます。

[2] 上位集合とも訳します。

[3] 部分集合かつ超集合なら、同じ集合です。