EMPTY SET IS A SUBSET OF EVERY SET