theorem :: SUBSET_1:1

for X being set holds {} is Subset of X