A useful little construction is this.

If you have two underlying disjoint sets of points

and

, and hypothesis sets

and

(where

is the set of subsets of

), then you can can form a new hypothesis set

with one hypothesis for each pair of hypotheses in

and

(in the obvious way). There is a simple relationship between the VC-dimensions of these three hypothesis sets, which can be used in examples.