◀ ▲ ▶Branches / Set-theory / Corollary: Justification of Subsets and Supersets

The axiom of separation, in a natural way, justifies the definitions of the subset and superset# Corollary: Justification of Subsets and Supersets

(related to Axiom: Schema of Separation Axioms (Restricted Principle of Comprehension))

The definitions of a subset and of a superset are well-defined.

Table of Contents

Proofs: 1

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

Github:

References

Bibliography

1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
2. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition