Всем добрый день!
Есть множества:
`S = {a, v, d, k, o, p, r, s, u, y}`
`T = {a, g, l, o, y}`
и третье, являющееся их объединением:
`A_1 = S uu T = {a, v, g, d, k, l, o, p, r, s, u, y}`
Надо построить такое отношение R на множестве `A_1`:
`(а_11 in А_1; а_12 in А_1) Rightarrow (а_11 R а_12 Leftrightarrow ((а_11 in S; а_12 in T) uu (а_11 in S; а_12 in T)))`
Это в точности то, что у меня сейчас есть, и условие пока уточнить не могу. Я не понимаю, зачем там значок следования после указания, что оба элемента принадлежат множеству `A_1`. Но допустим, что первая часть записана верно.
Вопрос: для построения отношения тут, скорее всего, имеется в виду, что:
1) условие, при котором между элементами `а_11` и `a_12` имеется отношение R, надо упростить и получить:
`(а_11 in А_1; а_12 in А_1) Rightarrow (а_11 R а_12 Leftrightarrow (а_11 in S; а_12 in T))`
или
2) тут, видимо, перепутаны индексы и должно быть что-то вроде:
`(а_11 in А_1; а_12 in А_1) Rightarrow (а_11 R а_12 Leftrightarrow ((а_11 in S; а_12 in T) uu (а_12 in S; а_11 in T)))`
с 12 перед 11 во второй части условия (иначе зачем она вообще нужна)?