theorem :: SUBSET_1:41

for X, x being set st x in X holds
{x} is Subset of X