Subset - kipawaa/Proof-Tree GitHub Wiki

Statement

$A$ is a subset of $B$, written $A \subseteq B$, iff for all $x$, if $x \in A$ then $x \in B$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

• Self‐Inclusion Property
• Image Under a Relation
• Inverse Image of a Relation
• Well Ordered Set
• Initial Segment
• Sequence

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096