Revision #322 → #1605 · back to history
addedSubset and superset1e2ecaac5b15
addedProper subset1b5d0d5297f7
addedk-subset569394078ffc
addedElement argument proof technique5a4475a906bc
addedSubset / superset (formal)4e7f82f037b7
addedProper (strict) subset (formal)83b200a87911
addedEmpty set is a subset of any set73265c53f511
addedReflexivity of inclusion4a2ebe977aa9
addedTransitivity of inclusion460113393be8
addedAntisymmetry of inclusion9f0c11999378
addedIrreflexivity of proper subset842c037cbb66
addedTransitivity of proper subset489b53e9c8a8
addedAsymmetry of proper subset1d3f69a2e223
added⊂ / ⊃ as subset / supersetb9dea9f607c9
added⊂ / ⊃ as proper subset / superset35caef8f3347
added{1,2} proper subset of {1,2,3}c92f0bf91c99
added{1,2,3} subset but not proper of {1,2,3}1d7c0a7d2931
addedPrimes >10 proper subset of odds >10866b75013a6d
addedNaturals proper subset of rationals22dac6437771
addedRationals proper subset of reals4b83c85e1456
addedEuler diagram example4500984dd4dc
addedPower setb2b3df8a9f4f
addedInclusion is a partial order on the power set9fe799989297
addedPower set order isomorphic to Cartesian product95ea79232850
addedNotation for k-subsets906c1fefabbb
addedSubset iff intersection equals Ad7f80d31b93c
addedSubset iff union equals Bd74753c76ece
addedFinite subset iff cardinality of intersection equals A178c42fadb18
addedSubset relation forms a Boolean algebra7ff31daa69d8
addedInclusion is the canonical partial orderd6f9505906f3