H
w
where is the set of all -component vector signals. If spec is a convex subset of
V
n
Z
z
, then the speci cation