conjunts relacions connectives

A [(M)] B = { <x,y> : x€A & y€B }

A [(M)] B és reflexiva <==> x€ A [M] B

A [(M)] B és simétrica <==> ( x€ A [M] B <==> y€ A [M] B )

A [(M)] B és transitiva <==> Si ( x€ A & y€ B [M] A & z€ B ) ==> ( x€ A & z€ B )

A = {a,b,c} & B = {a,b,d} ==>

A [(M)] B = { <a,a>,<b,a>,<a,b>,<b,b>,<c,a>,<a,d>,<c,b>,<b,d>,<c,d>}

A [(W)] B = { <x,y> : x€A or y€B }

A [(W)] B és reflexiva <==> x€ A [W] B

A [(W)] B és simétrica <==> ( x€ A [W] B <==> y€ A [W] B )

A [(W)] B és transitiva <==> Si ( x€ A or y€ B [W] A or z€ B ) ==> ( x€ A or z€ B )

A = {a,b,c} & B = {a,b,d} ==>

A [(W)] B = ...

... { <a,a>,<b,a>,<a,b>,<b,b>, ...

... <a,c>,<c,a>,<a,d>,<d,a>,<b,c>,<c,b>,<b,d>,<d,b>,<c,d>,<c,c>,<d,d>}