The relationship between logical implication and the subset relation

From Maths
Revision as of 18:46, 13 February 2015 by Alec (Talk | contribs)

Jump to: navigation, search

Definition

AB

(and we say "A is a subset of B") if and only if every element of A
also belongs to B

That is: [AB][xAxB]

[1]


Sources

  1. Jump up Definition 3.10 (p10) - Introduction to Set Theory, Third Edition (Revised and Expanded) - Karel Hrbacek and Thomas Jech