しばらくぶりでした。今回は、分出公理図式を使って、いろいろな集合を定義してみましょう。 差集合 集合 a , b に対し、分出公理図式で として定まる集合を と書き、差集合と言います。 共通部分(交わり) とします。このとき をひとつ固定して とおきます。…