Добуток прямий

множина, елементами якої є впорядковані пари елементів вихідних двох множин