台集合
underlying set
数学的構造を持たない集合
例えば、まだ四則演算が定義されていない、自然数そのものが台集合になる。
https://ja.wikipedia.org/wiki/数学的構造#定義