22/06/17 19:19:45.46 P27hnq19.net
S = {0, 1, 2, …, n-1}
に対して、(Vi)～(Viv)を満たすような関数 x → V(x) をすべて求めるPythonプログラムを作って、
S に入る位相の数を数えたのですが、最初答えが合いませんでした。
原因は、(Vi)～(Viv) を満たす S から 2^S への関数 x → V(x) をすべて求めていたため、
x に空集合を対応させるような関数も答えに含めていたためでした。
わざわざ分かりにくく書いた松坂和夫さんの意図は何でしょうか？