Прямое или
декартово произведение множеств —
множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств. Данное понятие употребляется не только в
теории множеств, но также в
алгебре,
топологии и прочих разделах
математики благодаря тому, что прямое произведение часто наследует структуры (алгебраические, топологические..), существующие на перемножаемых множествах.