epsilonClosure