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