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

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

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