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

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

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