✨ ベストアンサー ✨
x∈Aの上にバーという表記は見たことないですね。
この表記を使いたいなら、説明書きが必要です。
また、x∈Uの否定があると思いますが、今はUの中で考えてるのでx∈Uの否定とかでないですよ。
もう一度、補集合の定義を確認することをおすすめします。
そのような感じで問題ないと思いますよ。
簡単な話なので細かく記述するよりは、簡潔な方が良い気がします。
また、補集合のところの⇔は同値というより、定義するときによく使われる記号だと思います。
⇔の上にdefと書いて使ったりします。
ご回答ありがとうございます。
x∈(A^c)^c ⇔ x∉A^c ⇔ x∈A
は証明になっていますか？
もしなってるなら、
⇒と⇐は分けて書くべきでしょうか。
補集合の定義を確認したところ、
∀x∈U に対して、x∈A^c ⇔ x∉A
となっていたので同値変形で良いのでしょうか。
重ね重ね申し訳ありません。
宜しければご回答宜しくお願い致します。