  Generalizing Krieger's finite generation theorem, we give conditions for an
ergodic system to be generated by a pair of partitions, each required to be
measurable with respect to a given sub-algebra, and also required to have a
fixed size.
