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

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

Определение. Композицией  (суперпозицией) двух отношений ρ и σ называется отношение

σ∘ρ = {<x, z> |существует такое y, что <x, y> | ρ  и  < y, z> |σ}.

 

Пример 1.

ρ  = {<x, y> |y = sinx}.

σ  = {<x, y> |y = √x}.

σ∘ρ = {<x, z> |существует такое y, что <x, y> | ρ&nbs ... Смотреть решение »