PQ Tree Restriction

We will define a function Restrict with the following properties:
- Restrict(T,S) is a PQ tree.
- PQ(Restrict(T,S)) = PQ(T) intersect PQ(T’) where

Let U = {A1,A2,...,An}, S = {A1,A2,...,Ak}, and T a PQ tree.