رابطه پادمتقارن

تعریف رابطه و نمادهای آن:
∃ A , B ⟹ R ⊆ A × B {\displaystyle \exists A,B\Longrightarrow R\subseteq A\times B}
R = { ( a , b ) ∣ ( a , b ) ∈ A × B } {\displaystyle R=\{(a,b)\mid (a,b)\in A\times B\}}
( a , b ) ∈ R = a R b {\displaystyle (a,b)\in R=aRb}  : می خوانیم a با b را بطه دارد.