The property allows an equation in one variable to be written as a system of equations.