Пусть заданы 2 множеств (конечных или нет) Е, Е,...Е, причем Еi принадлежит Е, Еg принадлежит Е,…Еe принадлежит Е. Упорядоченная совокупность Рα=(Еi, Еg,…Ee)называется 2-выборной, и множество таких 2-выборок Рα называется теоретико-множественным произведением, или произведением 2 множеств Е, Е, ..Е.Это теоретико-множественное произведение обозначается Р=Е *Е *…*Е. Можно рассмотреть теоретико-множественные произведения более специального вида: Р=Е*Е*…*Е=Е , где Е – конечное множество.
Если Еi, Eg,…Ee –элементы Е, то будем обозначать 2 – выборки из Р следующим образом:
Рα=(Ei, Eg,…Ee)
Имеем 2-выборка не множество, а элемент теоретико – множественного произведения. В 2 – выборке каждый элемент называемый компонентой, может повторяться, но порядок компонентов фиксирован раз и навсегда.
Говорят, что Еi – первая, Eg – вторая, … Ee –2-я компонента в 2 – выборке.