Relációk, relációtulajdonságok (dimat1)?

pl.:

R = {(1; a); (1; b); (3; b)}

Az a lényeg, hogy olyan párok kellenek (gömbölyű zárójel, két elem), amelyeknek az első eleme az X-ből van, a második eleme pedig az Y-ból. És az ilyen párokból álló bármely HALMAZ (tehát mindegyik csak egyszer fordulhat elő!) binér reláció X és Y között.

Egyébként maga az üreshalmaz is triviális megoldás.

Az értelmezési tartomány ezeknek a pároknak az első elemeiből alkotott HALMAZ.

Az én példámnál: DR = {1; 3}

---------

Minden tranzitív relációra igaz a következő:

HA (a; b) elme R ÉS (b; c) eleme R, AKKOR (a; c) eleme R.

Erre odafigyelve kell készíteni két példa relációt:

R1 = {(0; 1); (1; 2); (0; 2)}

A másikat meghagyom neked.