Erlazio lautar

Matematikan, $R$ erlazio lautarra $(a,b,c,d)\in A\times B\times C\times D$ laukoteen multzoa da, $R$ definitzen duen baldintza jakin bat betetzen dutenak. Hau da:

$R=\{(a,b,c,d):a\in A\wedge b\in B\wedge c\in C\wedge d\in D\wedge R(a,b,c,d)=egiazkoa\}$

Ondorengo proposizioak zuzenak dira $R$ erlazio lautarra adierazteko::

$R(a,b,c,d)\text{edo baita ere}(a,b,c,d)\in R$

Adibidea

• Zenbaki errealen multzoa $ℝ$ emanda, $E(x,y,z,t)$ erlazio lautarra, non $x,y,z$ espazioko koordenatuak eta $t$ denbora diren, honela definitzen da:

$E=\{(x,y,z,t)\in {ℝ}^4\wedge x=\sin (t)\wedge y=\cos (t)\wedge z=2t\}$

non $E$ kiribil konikoa marratzen duen puntuen multzoa den, $z$ ardatzean eta $t$ denboran zehar.