DOMINIO DE UNA RELACION

Definición:

Sea R una relación.

Definimos el dominio de R como el conjunto formado por las primeras componentes de las parejas ordenadas que pertenecen a R y lo notamos D ( R ) o dom ( R ). Dicho conjunto lo representamos por comprensión así:

Consecuencias.

i) 

ii)