質問: a=b a⊂b b⊂a の厳密な定義は何ですか? a=b a⊂b b⊂a の厳密な定義は何ですか?
回答: 未定義の「∈」を使って a⊂b を ∀x,(x∈a)⇒(x∈b) で、 そこから派生して a⊃b を b⊂a、 a=b を (a⊂b かつ a⊃b) で 定義するのが普通かと思います。