入显然，这样构造的枚举器"E"最终输出的语言恰好就是"S"。注意"S"中的字符串并没有在"E"中按字典序输出，而且同一个串可能会被"E"输出多次，但根据枚举器的定义，这些都是允许的。
闭包性质.递归可枚举语言在下列运算下是闭合的。就是说，如果"L"和"P"是两个递归可枚举语言，则下列语言也是递归可枚举的：注意递归可枚举语言不闭合于差集和补集之下。
图灵可识别语言与图灵可判定语言的关系.注意图灵可识别语言和图灵可判定语言的区别：若formula_1