2020-07-06から1日間の記事一覧
田中康友『集合論』1.2.4全体集合について。(前提共有事項)本書では、 ・差集合\(P-Q\)は\(Q\subseteq P\)でなくとも定義されている。 ・全体集合\(X\)が想定されている場合に限り(したがって\(A\subseteq X\)の場合に限り)\(A^c=X-A\)と定義されている…
田中康友『集合論』1.2.4全体集合について。(前提共有事項)本書では、 ・差集合\(P-Q\)は\(Q\subseteq P\)でなくとも定義されている。 ・全体集合\(X\)が想定されている場合に限り(したがって\(A\subseteq X\)の場合に限り)\(A^c=X-A\)と定義されている…