Define the internal direct product <i>H x K</i>.