Internal Direct Product/Examples