On Multivariate Structures and Exhaustive Reductions