Бинарные отношения

Областью определения бинарного отношения  ρ  называется множество, состоящее из таких x, для которых  〈x,y〉∈ ρ хотя бы для одного y.
Область определения бинарного отношения будем обозначать D(ρ).
 D(ρ) ={x∃y |〈x,y〉 ∈ ρ}

Областью значений бинарного отношения ρ называется множество, состоящее из таких y, для которых 〈x,y〉∈ ρ хотя бы для одного x.
Область значений бинарного отношения будем обозначать R(ρ)
 R(ρ) ={y∃x ... Смотреть решение »