ε-closure