generated at
集合ではなく軸

やりたいこと集合が存在しないを抽象化したもの