Last active
August 17, 2021 11:38
-
-
Save yuchiki/54bf906e9f925339a9127c516bec6b7f to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
空集合 Φ1, Φ2 を任意にとる。 | |
空集合の定義より、Φ1, Φ2はその要素を持たない。 | |
今、 Φ1の任意の要素に対して、それはΦ2の要素である。 (vacuously true) | |
また、Φ2の任意の要素に対して、それはΦ1の要素である。 (vacuously true) | |
したがって 集合の等しさの定義より、 Φ1 = Φ2. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment