Дискретная математика

13 /^ f / / г zf// Рис. 1.7 Областью определения бинарного 0т)10шенш R называется множество DR={X еА: существует такое у еВ, что xRy}. Областью значений бинарного отношения R называется множество /тя={7 еВ: существует такое л: еЛ, что xRy). Легко видеть, что область значений отношения R {R сАхВ) совпадает с проекцией R на множество В, которое вводится как prgR^fy sB: существует такое л: &4, что (x,y}eR}, т.е. pt'iiR = ImR, а область значений R совпадает с проекцией Л на Л Dii=prAR={xeA: существует такое _у eS, что (x,y}eR}, см. рис. 1.8. ^ DR=pr4R Рис. 1.8