Как известно, функция есть биекция одного множества на другое,  f: X --->Y где f правило по которому X отображается в Y, X область определения, Y область значений. С точки зрения теории множеств f это, по сути, множество упорядоченных пар на декартовом произведении X x Y таких что f={(a,b): a с X, b c Y}. Так вот, мне не понятно само определение упорядоченной пары, а вернее момент выделенный красным. Кто может объясните пожалуйста и если можно скажите как это выражается на графике.