Gitt ei mengde V la V være følgende mengde. I dette tilfellet språket bestående av bare den tomme strengen. = {ε}, = Definer så følgende mengde rekursivt og man vil få tillukningen av denne mengda. = { : ∈ and ∈ } for enhver >0.