集合ではなく軸
https://gyazo.com/cf2f961b81c1138b9427004a49675312
やりたいこと集合が存在しない
を抽象化したもの