algebraic restriction