真部分集合

A⊂B⇒A=B これを自然演繹風に反証しようとした場合、真部分集合がないと不便だなと。 真部分集合 集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。 Wikipedia とりあえずこの定義を...