名前空間
変種
操作

型総称数学