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