Given sets A and B we say that is is a subset of B if every element of A is also an element of B, that is, == x(∈)A implies x(∈) B
