id:witchmakersと集合位相の勉強会をやっているわけですが、直積とかべき集合とか毎回書き出すのは面倒です。人間のやるべきことではありません。そういうわけで、自分用の集合を生成する関数をRで書いたりしました。直積こんな感じで直積を書き出せるような…