Definition: subset
x subset y : <=> (forall z in x: z in y).
Proposition: for all x, y, and z, we have
Ordering relationship among sets.