-準同型 0の逆像 とする． 余像 余核 で定める．とくにこれらの内包は に関して であり，余像の要素は に対して (とくには加法群) で表される．もちろん，である． ☆ 集合の要素の要素について 私の見解は，うそつき村問題はなかったと考えるので，ラッセル…