Inductive Logic Programming (ILP) is a subfield of Machine Learning that provides an excellent framework for learning in multi-relational domains and inducing first-order clausal theories. ILP systems perform a search through very large hypothesis spaces containing redundant hypotheses. The generation of redundant hypotheses may prevent the systems from finding good models and increase the time to induce them. In this paper we propose a classification of hypotheses redundancy. We show how expert knowledge can be provided to an ILP system to avoid the generation of redundant hypotheses. Preliminary results suggest that the the number of hypotheses generated and execution time are substancially reduced when using expert knowledge to avoid the generation of redundant hypotheses.