strongly enumerable set