Branches History Index

◀ ▲ ▶Branches / Set-theory / Proposition: Subsets of Finite Sets

Proposition: Subsets of Finite Sets

Let \(X\) be a finite set, and \(S\subseteq X\) its subset. Then \(S\) is also finite and has the cardinality $|S|\le |X|.$

Table of Contents

Proofs: 1

Mentioned in:

Definitions: 1
Motivations: 2
Proofs: 3 4 5 6

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs

References

Bibliography

  1. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition