トーク:開集合

追加された定義について

「ある集合の開核がその集合と同一であるような集合。」という定義が追加されましたが、開核を定義するには先に開集合（＝位相）が定義されてなければならない（つまり、この定義文での「ある集合」には位相が入っている必要がある）ので、ここの項目に追加すると循環定義になっておかしいと思いますがいかがでしょうか。閉集合の方も同様です。--Yapparina (トーク) 2019年2月22日 (金) 19:11 (UTC)

おっしゃるとおりですね。申し訳ございません。定義によってはじめて位相が導入される形にしておかないとたしかにまずいです。あまり厳密な定義よりはすこしでも直観に訴えるものをと思って書いてみたのですが、定義ではなく性質のように書いておいたほうが無難だったと思います。--Ryota7906 (トーク) 2019年2月23日 (土) 05:49 (UTC)