When is a subset statement valid in set theory?

[blade123]

Homework Statement

Given the following four statements concerning the student body at CU:
...
b) There are no women engineering students at CU
...

Homework Equations

n/a

The Attempt at a Solution

Let W be the set of all women
Let E be the set of all engineering students

W$\subseteq$E'

Therefore
W'$\subseteq$E

However I don't know valid the first, and therefore the second statement is. In the book I'm using, it doesn't cover any "not a subset" other than complimentary.

However, to conclude that all non-women are engineers seems fallacious. Or is that the point?

Is is valid to say:

W$\subseteq$E'


The set of all women are in the set of non-engineering students.

It's not really homework for a class, but is homework style.

 

[blade123]

http://books.google.com/books?id=VD... no women engineering students" at CU&f=false

The book, if anyone is interested.