Boolean networks are a class of qualitative models used ex-tensively to model regulatory interactions driving biological processes.While structurally simple, their dynamics can be quite complex. One re-current issue in studying the dynamics of these models is state explosion.To tackle this problem model reduction techniques are employed. Thesetechniques aim at producing smaller models that behave approximatelyas the original model.In this paper we introduce a new reduction that ensures that if thereis a path between two states in the initial model, there is also a pathbetween their reduced counterparts. We use Abstract Interpretation, aunifying framework to compare semantics of models at different levels ofabstraction, to formally relate the behaviors of the initial and reducedmodels. We analyze both the newly proposed reduction and Naldi et al.’sreduction through the lenses of this framework.