for X, x being set st x in X holds
{x} in CompleteSGraph X