स्वतुल्य \(_xR_x \in R\)
सममित \(_x R_y \in R\)
& \(_y R _x \in R\)
संक्रामक यदि \(_xR _y \,\&\, _yR_2 \in R\)
⇒ \(_xR_2 \in R\)
स्वतुल्य
\(_{L_1}R_{L_1}\notin R\) स्वतुल्य नहीं
सममित
\(_{L_1}R _{L_2} \in R\) एवं \(_{L_2}R _{L_1} \in R\) सममित है।
संक्रामक
यदि \(_{L_1}R _{L_2} \in R \,\,\&\,\, _{L_2}R_{L_3} \in R\)
⇒ \({L_1}R _{L_3} \notin R\)
संक्रामक नहीं है।